Fix a typo in the documentation

[ci:skip]