Drop some trailing whitespace.

I'm not sure yet if I care about this or not. I noticed that git diff
highlights such a change in red, which made me feel like it was a bad
thing. But maybe it's not important after all.