nicer pretty-print