docs tweak
(cherry picked from commit fb1889869edeeaa4d5f9f6420d43e8cf398980cb)