Fix UDT example