Prettyprint fixes