Fix pretty-printing of QElim