Fix a documentation generation warning