#9527. Fixed a typo in the docs.