Update index.html

Trivial update.