Fix bug in udt