Minor modifications to index.html.