index.html: fix