int_overlap: small bug fix