minor edits index.html