Removed dependency on ConstraintKinds
Small documentation fix