tiny whitespace tweak