Fix bug in reporting uncovered lines.