[TxMt] [Latex] source colouring gets confused