fixup: codecoverage blunder