fixes prettyprinting of Term.New