update python.peg