difflet for equality errors; some cleanup