coverage badge fix [ci skip]