fix a bug in index.html