Fix a bug in index.html