Correct an outdated code example
[ci skip]