UML25 — ConnectableElement-end" has @isOrdered='true'

I've just came across another issue: "ConnectableElement-end" has @isOrdered='true'. Since it is derived (and not derivedUnion) there is a corresponding operation for that attribute. However, the 'return' parameter for that operation doesn't declare @isOrdered='true'.
Shouldn't the return parameter of operations that describe derived attributes always 'match' the corresponding attribute ?

The result of the operation should be ordered if the property is ordered. But the operation cannot produce
an order, and there seems to be no requirement for the property to be ordered