Small edits to index.html