Fixes a glitch in coverage reporting.