Fix bug in index.html