minor: whitespace tweak