Minor updates to the index.html file