Changed string diffing (for the better?). No more ANSI colors.