minor changes in tx.syn, ra.mk