Minor changes to GitHub HTML.