minor edits to text in index.html