Clean up whitespace

I should really install whitespace highlighting on all my machines or
none of them ...