It's so hard to explain, it's just an edge case caused when a) all columns together are wider than overflow, and b) one of the columns would be allocated more width (based on w.max * fair + w.min) than it's max.