minor whitespace tweak