bug fix for SAT intersection method