Another whitespace fix