Fix whitespace slightly