Fix an error in index.html