minor doc fix. [skip ci]