Another correction to Location.overlap_size_with()