Fix coverage badge again.