tiny doc change