Minor updates in index.html.