Fix a whitespace bug