small bug in Rectangle_2 do_intersect()