Fix TxManager name