[ci skip] Fix a documentation error