Fixed the first constraint to propagate properly