Whitespace fix
Merge pull request #323 from wikimedia/cleanup

Whitespace fix