Correct the contract in Example 3 to use and/c.

Closes PR 13486.