Fixing a bug in documentation generation