small changes to index.html