Fix the min coverage heuristic.

It was broken since 1.0.0 unfortunately :-(