[ci skip] Fix a wrong reference in the docs