Minor tidying of the docs

This patch fixes a couple of minor issues with the GitHub pages.