Merge pull request #12363 from jbaudanza/doc

Fix small typo in docs