correct constraints