Fix pull.py