index.html: minor changes