Term.Name(x) is now printed as Term.Name("x")