pretty-printer is working