Fix TXB instruction