[TxMt] Latex bundle: problem with label completion