Fix bug in doc generator.