Fix pretty print spec