Fix bug in difference printer.
Fix bug in difference printer.

This fixes a long-standing bug about quotation marks showing up in the
difference between types that pts attaches to error messages.

Toxaris/pts,Blaisorblade/pts