SYSML2 — checkTransitionUsageSourceBindingConnector text and OCL are different

In 8.3.17.9 (TransitionUsage), the text for checkTransitionUsageSourceBindingConnector requires binding of the first input parameter

A TransitionUsage must have an ownedMember that is a BindingConnector between its source and its first input parameter (which redefines Actions::TransitionAction::transitionLinkSource).

while the OCL gives it as binding the second parameter

ownedMember->selectByKind(BindingConnector)->exists(b |
b.relatedFeatures->includes(source) and
b.relatedFeatures->includes(inputParameter(2)))

Correct the OCL

The constraint description is correct. The OCL needs to be corrected.