Trivial doc change.