Fix a bug in computing the size of a segment that led to utilization > 1.0.