Fix prettyprinter typo

New edition of #38 (which I stupidly submitted from master - that's rather annoying).