Another minor doc change (2)