another minor doc correction