Update index.html

Fixes according to Frank.