Make Comparer.compare_strings() work.
Refine the diff output.