Update repair.py