Small changes to index.html