Another whitespace tweak