a bug in the prettyprinter :-1: