made some edits to `index.html`