removed debug printlns in CoverageDetail metric