fixing bugs in documentation generation