Fixed a typo in docs

[ci skip]