Tweaked Coercion pretty-printer.