Modified pretty-printers to produce strings.