Fixed an error in documentation generation