fix a contract example in the documentation

closes PR 14798 (the previous commit, 86017992ab, that
claimed to fix this PR is unrelated; sorry for that)

Please include in 6.1.1