Fix doc typo

(cherry picked from commit f70eb1d)