Remove hanging whitespaces

In other words, force a rebuild on GitHub pages.