Fix a whitespace issue.