Fix typo in docs. Fixes #10974.