#4822 errata: update the docstring example too