Merge pull request #5092 from alexrp/mini-coverage-increment