fix the coverage configuration