Another small edit to index.html