Correct coverage-checker dependence