Minor mods to index.html