Fix typo in documentation.

[ci skip]