[TxMt] Is the following pdfsync-instruction right?