Minute changes to index.html