some index.html fixup