diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 207f5aa74..f81060475 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -17814,7 +17814,7 @@ int Abc_CommandRecPs3( Abc_Frame_t * pAbc, int argc, char ** argv )
     }
     if ( !Abc_NtkRecIsRunning3() )
     {
-        Abc_Print( -1, "This command works for AIGs only after calling \"rec_start2\".\n" );
+        Abc_Print( -1, "This command works for AIGs only after calling \"rec_start3\".\n" );
         return 0;
     }
     Abc_NtkRecPs3(fPrintLib);
@@ -17866,7 +17866,7 @@ int Abc_CommandRecAdd3( Abc_Frame_t * pAbc, int argc, char ** argv )
     }
     if ( !Abc_NtkRecIsRunning3() )
     {
-        Abc_Print( -1, "This command works for AIGs after calling \"rec_start2\".\n" );
+        Abc_Print( -1, "This command works for AIGs after calling \"rec_start3\".\n" );
         return 0;
     }
     Abc_NtkRecAdd3( pNtk, fUseSOPB );
diff --git a/src/base/abci/abcTiming.c b/src/base/abci/abcTiming.c
index 1341630bd..762156520 100644
--- a/src/base/abci/abcTiming.c
+++ b/src/base/abci/abcTiming.c
@@ -652,7 +652,7 @@ void Abc_NtkTimePrint( Abc_Ntk_t * pNtk )
 
 /**Function*************************************************************
 
-  Synopsis    [Expends the storage for timing information.]
+  Synopsis    [Expands the storage for timing information.]
 
   Description []