One last whitespace tweak