Fix pretty printer