Some edits to index.html