modify repy.py