Updated with corrected coverage reporting