TP6 of constraint programming: corrections and improvements