fixup examples/index.html