another minor doc edit