Whitespace police: remove trailing whitespace