Fix comment about *code-coverage-info*.