SYSML17 — AbstractRequirement: direction of /tracedTo wrong in Attributes description

This is the wrong way round:

/tracedTo : NamedElement [0..*]
Derived from all elements that are the client of a «trace» relationship for which this requirement is a supplier.(derived)

However the operation statement is correct:

getTracedTo () : NamedElement [0..*]
bodyCondition:Trace.allInstances()->select(base_Abstraction.client=self).base_Abstraction.supplier

See also attached image in a tool.

—

Compare with consistent verifiedBy, satisfiedBy:

/satisfiedBy : NamedElement [0..*]
Derived from all elements that are the client of a «satisfy» relationship for which this requirement is a supplier.(derived)

getSatisfiedBy () : NamedElement [0..*]
bodyCondition:Satisfy.allInstances()->select(base_Abstraction.supplier=self).base_Abstraction.client

/verifiedBy : NamedElement [0..*]
Derived from all elements that are the client of a «verify» relationship for which this requirement is a supplier.(derived)

getVerifiedBy () : NamedElement [0..*]
bodyCondition:Verify.allInstances()->select(base_Abstraction.supplier=self).base_Abstraction.client

—

It seems it was correct in SysML1.4:

/tracedTo: NamedElement [*]
Derived from all elements that are the supplier of a «trace» relationship for which this requirement is a client.

The error may have been introduced during other changes.