pretty-printing utility
finish pretty-printer
bugfixes