Original
No need to modify pretty-printer after all