diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c
index 333fe58e7..d55f581a9 100644
--- a/src/aig/gia/giaUtil.c
+++ b/src/aig/gia/giaUtil.c
@@ -992,8 +992,8 @@ void Gia_ManVerifyChoices( Gia_Man_t * p )
                 printf( "Fanin 0 of CO node %d has a repr.\n", i ), fProb = 1;
         }
     }
-    if ( !fProb )
-        printf( "GIA with choices is correct.\n" );
+//    if ( !fProb )
+//        printf( "GIA with choices is correct.\n" );
 }
 
 /**Function*************************************************************
diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c
index cedf4f064..d189da89f 100644
--- a/src/map/if/ifDec16.c
+++ b/src/map/if/ifDec16.c
@@ -2054,7 +2054,8 @@ int If_CutPerformCheck16( If_Man_t * p, unsigned * pTruth, int nVars, int nLeave
         if ( If_CutTruthMinimize( p, pCut ) >= 2 )
             return 0;
         nLeaves = pCut->nLeaves;
-        If_CluCopy( (word *)pTruth, (word *)If_CutTruth(pCut), nVars );
+//        If_CluCopy( (word *)pTruth, (word *)If_CutTruth(pCut), nVars );
+        pTruth = If_CutTruth(pCut);
     }
 
     // quit if parameters are wrong