minor doc correction