Fix a whitespace mistake