Fixes #2077
Whitespace tweak