Fixing some documentation generation errors