fixes bug in index.html