removed double dumpHtml to avoid touching the html file (without actually changing it)