diff --git a/src/main.cpp b/src/main.cpp
index 4c29dd70af7565b735485b63d2845710cab4a404..619058a9290e7f24bf1b6970b59929ab35e16673 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -129,7 +129,7 @@ int main(int argc, char** argv)
     //
     if (n_tasks==1 && !strcmp(argv[1],"otfL"))
     {
-        cout<<"Multi-threaded on the fly Model checking..."<<endl;
+        cout<<"Multi-threaded on the fly Model checking (Lace)..."<<endl;
         cout<<"Building automata for not(formula)\n";
         auto d = spot::make_bdd_dict();
         // d->register_ap("jbhkj");
@@ -170,9 +170,9 @@ int main(int argc, char** argv)
             std::cout << "formula is verified\n";
 
     }
-    else if (n_tasks==1 && !strcmp(argv[1],"otfTh"))
+    else if (n_tasks==1 && !strcmp(argv[1],"otfP"))
     {
-     cout<<"Multi-threaded on the fly Model checking..."<<endl;
+     cout<<"Multi-threaded on the fly Model checking (Pthread)..."<<endl;
         cout<<"Building automata for not(formula)\n";
         auto d = spot::make_bdd_dict();
         // d->register_ap("jbhkj");