fix typo in intCoverageMatrix