minor doc edit