More index.html fixup