[575] Minor doc change.