bugfix of prun.py