Fix pretty printing.