See 9.2.13 fix example.

Issue done.