I redid it with a different tone filter. This one is confusingly called 'gold', even though it's basically blue. I also backed off the intensity, so it's more of a hint of blue.
Alastair
Thanks Dave. Yes, I was trying to give it a bit of a cool look. I was just playing around with the toning settings in DXO Filmpack. This was before I discovered that you can adjust the intensity of each tone, so I think I might redo it with a smaller amount.
Alastair