Re #9572. Getting rid of last sphinx warning.
Merge branch 'feature/9572_documentation_check' into develop