bug-fix in index.html.