Clean up differ.cc