[TxMt] Bugs in LaTeX highlighting