Amend index.html.