KERML — The checkFeatureValuationSpecialization constraint is incorrect

In subclause 8.4.4.11 Feature Values Semantics, it states that

The checkFeatureValuationSpecialization constraint requires that, if the featureWithValue has no explicit ownedSpecializations and is not directed, then it subsets the result parameter of the value Expression.

However, the specification of checkFeatureValuationSpecialization in subclause 8.3.3.3.3 only requires

If a Feature has a FeatureValue, then it must specialize the result of the value Expression of the FeatureValue.

without the limitation that "the featureWithValue has no explicit ownedSpecializations and is not directed" (and the OCL is consistent with the textual description of the constraint).