Fix a documentation typo.
[ci: skip]