index.html: fix lint
index: fix lint