Small cleanup of whitespace