Fixup index.html.