Small revisions in tx_format and rest tool