Fix a bug in documentation generation