fix bugs in python.peg