Update differ.py