Fix coverage badge [skip ci]