fixup pretty printing