Another incremental change for GenTrans output.