One more minor whitespace fix.