Fix a minor syntax error in the documentation.

[ci:skip]