fixed pretty-printing open terms