One more whitespace fix.