another minor doc change