python: doc generator attribute name correction