Small edit to index.html