update to contraints after finding bug