Fix coverage.html so tests pass