Fix typo in index.html.