diff --git a/src/aig/gia/giaMf.c b/src/aig/gia/giaMf.c
index 6dec48f0a..7d5e14c13 100644
--- a/src/aig/gia/giaMf.c
+++ b/src/aig/gia/giaMf.c
@@ -1551,7 +1551,7 @@ static inline int Mf_CutAreaDerefed2( Mf_Man_t * p, int * pCut )
 {
     int Ela1, iObj, i;
     Vec_IntClear( &p->vTemp );
-    Ela1 = Mf_CutRef2_rec( p, pCut, &p->vTemp, 10 );
+    Ela1 = Mf_CutRef2_rec( p, pCut, &p->vTemp, 8 );
     Vec_IntForEachEntry( &p->vTemp, iObj, i )
         Mf_ObjMapRefDec( p, iObj );
     return Ela1;