corrected comments in Constraint