Another minor doc change