Issue #9: Fix broken auto-generated documentation