update Python.peg