another whitespace correction