Make coverage aggregation work