Another cosmetic doc change