Minor tweak to index.html