Colored output, improved pretty-printing.