Fix a few typos in the comments in index.html