Make an example more clear with sample code.

Fixes #11113.