Change coverage formulation.