fixed a bug in index.html in dev branch