index.html minor edits