diff --git a/src/aig/gia/giaSweep.c b/src/aig/gia/giaSweep.c
index 81fe8b97a..47d368c06 100644
--- a/src/aig/gia/giaSweep.c
+++ b/src/aig/gia/giaSweep.c
@@ -298,7 +298,7 @@ Gia_Man_t * Gia_ManFraigSweep( Gia_Man_t * p, void * pPars )
         printf( "Timing manager is given but there is no GIA of boxes.\n" );
         return NULL;
     }
-    // ordering AIG objects
+    // order AIG objects
     pNew = Gia_ManDupUnnormalize( p );
     if ( pNew == NULL )
         return NULL;
diff --git a/src/misc/tim/timMan.c b/src/misc/tim/timMan.c
index a4e95e313..26c3cb04e 100644
--- a/src/misc/tim/timMan.c
+++ b/src/misc/tim/timMan.c
@@ -221,6 +221,7 @@ Tim_Man_t * Tim_ManTrim( Tim_Man_t * p, Vec_Int_t * vBoxPres )
             if ( Vec_IntEntry(vBoxPres, i) )
             {
                 Tim_ManCreateBox( pNew, curPo, pBox->nInputs, curPi, pBox->nOutputs, pBox->iDelayTable );
+                Tim_ManBoxSetCopy( pNew, Tim_ManBoxNum(pNew) - 1, i );
                 curPi += pBox->nOutputs;
                 curPo += pBox->nInputs;
             }