UMLR — Suggested improvement to description of "BehavioralFeature::isDistinguishableFrom()"

In the UML 2.5.1 specification document on page 173 of the PDF file in section section 9.9.2.7 "Operations" of BehavioralFeature, the textual description of "isDistinguishableFrom()" does not fit 100% with the OCL implementation given.

The description currently reads:

The query isDistinguishableFrom() determines whether two
BehavioralFeatures may coexist in the same Namespace. It specifies
that they must have different signatures.

Obviously, if they have different names, then they are also distinguishable from each other. This is the first element of the Tuple which is generated in the body of the query:

body: (n.oclIsKindOf(BehavioralFeature) and ns.getNamesOfMember(self)-
>intersection(ns.getNamesOfMember)->notEmpty()) implies
Set

Unknown macro: {self}

>including(n.oclAsType(BehavioralFeature))>isUnique(ownedParameter->collect(p|
Tuple

Unknown macro: { name=p.name, type=p.type,effect=p.effect,direction=p.direction,isException=p.isException, isStream=p.isStream,isOrdered=p.isOrdered,isUnique=p.isUnique,lower=p.lower, upper=p.upper }

))

My suggested improvement of the description:

The query isDistinguishableFrom() determines whether two
BehavioralFeatures may coexist in the same Namespace. It specifies
that they must have different names, or different signatures if their
names are the same.