Minor whitespace tweak