Small correction in binary_intersection