index.html: updated