Update index.html, minor semantic details