very minor doc edit