Fix pretty-print test miss