a little modif in pythongenerator