fixed bug in overlap constraints