Minor edit to index.html