Fix contraints code example