Another minor doc change.