Fix documentation generation bug.