fix mistyping in index.html