Kill trailing whitespace.

I actually need to do another commit so that the github page gets
updated.