a tiny doc change.