Switch to a real pretty-printing library.