-f in case coverage.html does not exist