Fixed boneheaded error in boxes_overlap.