Minor edits to index.html.