Modifications on the ListCoverageCollector code