Minor edits to the index.html page.