minor edits in index.html