Minor tweaks to index.html