minor updates to index.html