index.html: Tweak