tiny coding style fixes.

I have been reduced to this...