Update differ.py

Noting that this has all been done before. :)