Changes to index.html.