Page 225 - Typo "one" vs "once"

[FlorSanders]

On page 225, the last sentence states:

Consequently, we have to check whether the transition is an aborted one, and
then bail out early

I suppose the one should be once

[balinterdi]

No, I meant to say, we have to check whether the transition is an aborted transition.

[FlorSanders]

Oh, reading it again that does make a lot more sense.
My apologies, I’ll close this issue.

[balinterdi]

No worries, Flor.