Correct coverage extrapolation, more values included in serialize