fix a whitespace error