Fix Prettyprint