bugfix-3 in index.html