UMLR — Misleading sentence about the default history transition

The following sentence is incomplete:

This [default history] Transition is only taken if execution leads to the history Pseudostate and the State had never been active before

I think the sentence should continue:

... or had been active before, but reached its FinalState.

This is specified in other places:

In cases where a Transition terminates on a history Pseudostate when the State has not been entered before (i.e., no prior history) or it had reached its FinalState, there is an option to force a transition to a specific substate.

the active substate becomes the substate that was most recently active prior to this entry, unless: o the most recently active substate is the FinalState, [...]