BugFix in ConstCoverage