Minor refinement to example.