Fix getAsString in Term