an edit to index.html