Remove trailing whitespace

It's been half an hour, maybe this will convince GitHub Pages to
rebuild the page.