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.