Bug fix in index.html