[TxMt] bug in latest python highlighter