fix python.peg