Work around bug in mCoverageCheck