fixing the coverage badge