minor doc fix [skip ci]