Whitespace fix.

Sorry about the noise.