More successful pretty printing