Fix 7.0 coverage badge