Fix whitespace ugliness