Another whitespace correction