Fix #8287
Merge pull request #8307 from cvrebert/8287-docs-patch

Fix #8287