[TxMt] Folding bug