Fix a whitespace error