Minor updates to index.html