Another simple whitespace fix.