fix a whitespace issue