Fix a whitespace issue