fix a whitespace snafu