small fix in doc [skip ci]