minor edits to index.html