console: improved pretty-print