More tweaks to index.html.