Minor edits to index.html