[TxMt] A problem with typesetting with skim