small whitespace tweak