A bit of consistency in PPrint