Bug in overlap constraint