Minor changes toward a better GenTrans output