minor doc change.