Small fix in the TypeConstraint file