prettyprint.backend: use , not % in unparse-ch.