diff --git a/src/opt/mfs/mfsCore.c b/src/opt/mfs/mfsCore.c
index 8482d7a3f..fe7a1852b 100644
--- a/src/opt/mfs/mfsCore.c
+++ b/src/opt/mfs/mfsCore.c
@@ -392,7 +392,7 @@ int Abc_NtkMfs( Abc_Ntk_t * pNtk, Mfs_Par_t * pPars )
     {
         if ( nFaninMax > 8 )
         {
-            printf( "Nodes with more than %d fanins will node be processed.\n", 8 );
+            printf( "Nodes with more than %d fanins will not be processed.\n", 8 );
             nFaninMax = 8;
         }
     }
@@ -400,7 +400,7 @@ int Abc_NtkMfs( Abc_Ntk_t * pNtk, Mfs_Par_t * pPars )
     {
         if ( nFaninMax > MFS_FANIN_MAX )
         {
-            printf( "Nodes with more than %d fanins will node be processed.\n", MFS_FANIN_MAX );
+            printf( "Nodes with more than %d fanins will not be processed.\n", MFS_FANIN_MAX );
             nFaninMax = MFS_FANIN_MAX;
         }
     }
diff --git a/src/opt/mfs/mfsCore_.c b/src/opt/mfs/mfsCore_.c
index 659a82fcc..ceee04cf8 100644
--- a/src/opt/mfs/mfsCore_.c
+++ b/src/opt/mfs/mfsCore_.c
@@ -225,7 +225,7 @@ int Abc_NtkMfs( Abc_Ntk_t * pNtk, Mfs_Par_t * pPars )
     {
         if ( nFaninMax > 8 )
         {
-            printf( "Nodes with more than %d fanins will node be processed.\n", 8 );
+            printf( "Nodes with more than %d fanins will not be processed.\n", 8 );
             nFaninMax = 8;
         }
     }
@@ -233,7 +233,7 @@ int Abc_NtkMfs( Abc_Ntk_t * pNtk, Mfs_Par_t * pPars )
     {
         if ( nFaninMax > MFS_FANIN_MAX )
         {
-            printf( "Nodes with more than %d fanins will node be processed.\n", MFS_FANIN_MAX );
+            printf( "Nodes with more than %d fanins will not be processed.\n", MFS_FANIN_MAX );
             nFaninMax = MFS_FANIN_MAX;
         }
     }