typo in the superseding recovery rule description for drt

[VasiliyS]

in https://trustoverip.github.io/tswg-keri-specification/#superseding-rules-for-recovery-at-a-given-location-sn-sequence-number

as part of the text under C1:

This greatly simplifies the validation logic and avoids a potentially infinite regress of forks in the delegated identifier’s KEL. However, this means recovery can happen for any compromise of pre-rotated keys, only the latest-seen. In order to unrecoverably ...

The sentence:
"However, this means recovery can happen for any compromise of pre-rotated keys, only the latest-seen."
should be instead:
"However, this means recovery can not happen for any compromise of pre-rotated keys, only the latest-seen."

Is this correct that the recursive application of rule C is meant as a requirement for witnesses? Validators should get a finalized KE(R)L (the one that resulted from applying all the rules) and therefore must see that either A or B apply against the state that they have already.

If yes, then the corresponding note would be helpful.