Potential fix for coverage reporting