Minor tweaks to index.html
Update gh-pages