Fix prettyprinter typo