resolves #1352

[abetusk]

Previous example code did not work and has been changed to now work.

This is a documentation change and not a code change.

All Submissions:

• [ x ] Have you followed the guidelines in our Contributing document?
• [ x ] Have you checked to ensure there aren't other open Pull Requests for the same update/change?
• [ x ] Does your submission pass tests?

Note: please do NOT include build files (those generate by the build-xxx commands) with your PR,

Thank you for your help in advance, much appreciated !

[z3dev]

@abetusk SUPER! Thanks for the changes. Looking forward to more updates from you in the future.