minor doc change here and there