very minor doc change