minor changes to index.html for gh-pages