[ci-skip] small documentation fix