Small edit to copy in index.html