Small tweaks to index.html