Small fix for issue #9275
Merge pull request #9276 from CaptTofu/bug/module_doc_fix

Small fix for issue #9275