Finalization of an enclosed choreography when exception occurs

In section 2.4.9, it states that "a finalizer block may be enabled for a given choreography instance, during subsequent progress, including Exception handling and finalization, of the enclosing choreography."

This implies that the exception handler of an enclosing choreography can finalize an enclosed choreography.

However, in section 2.4.8 it states:

"If an Exception occurs within a choreography, then the Choreography completes unsuccessfully. In this case its Finalizer Block(s) MUST NOT be installed. The actions, including enclosed Choreographies, within this Choreography are completed abnormally before an Exception Work Unit can be matched."

This should probably be changed to say that "enclosed Choreographies that have not completed" - so that enclosed choreos awaiting finalization are not terminated abnormally.

Regards
Gary