One whitespace fix.

Sorry for cowboying in a fix, but this one is brainless.