correct ucf
correct TXP