Several edits for index.html