Fix a warning in CoverageMappingReader.cpp