fixed issue in generated py script
-- Git-author: Jocelyn Fiat <jfiat@...> -- Git-id: 031b55fe25b20757ec97032427285b048ee76b35
Authored by: jocelyn_fiat 1970-01-01
Parent: [r39]
Child: [r41]