Minor text edits to index.html