Fix pretty-printing of ~>.