Minor refinement to the example