diff --git a/src/commands/balance.hpp b/src/commands/balance.hpp
index 2888f41..b9ca225 100644
--- a/src/commands/balance.hpp
+++ b/src/commands/balance.hpp
@@ -69,7 +69,7 @@ class balance_command : public command {
  private:
 };
 
-ALICE_ADD_COMMAND(balance, "Logic synthesis")
+ALICE_ADD_COMMAND(balance, "Synthesis")
 
 }  // namespace alice
 
diff --git a/src/commands/convert_graph.hpp b/src/commands/convert_graph.hpp
index 114a731..72bcd2f 100644
--- a/src/commands/convert_graph.hpp
+++ b/src/commands/convert_graph.hpp
@@ -24,7 +24,7 @@ namespace alice {
 class create_graph_command : public command {
  public:
   explicit create_graph_command(const environment::ptr& env)
-      : command(env, "functional reduction : using AIG as default") {
+      : command(env, "functional reduction [default = AIG]") {
     add_option("-e,--expression", expression,
                "creates new graph from expression");
     add_flag("--mig, -m", "functional reduction for MIG");
@@ -97,7 +97,7 @@ class create_graph_command : public command {
   string expression = "";
 };
 
-ALICE_ADD_COMMAND(create_graph, "Logic synthesis")
+ALICE_ADD_COMMAND(create_graph, "Synthesis")
 
 }  // namespace alice
 
diff --git a/src/commands/cut_rewriting.hpp b/src/commands/cut_rewriting.hpp
index 2b54810..893a22c 100644
--- a/src/commands/cut_rewriting.hpp
+++ b/src/commands/cut_rewriting.hpp
@@ -41,7 +41,7 @@ namespace alice {
 class rewrite_command : public command {
  public:
   explicit rewrite_command(const environment::ptr& env)
-      : command(env, "on-the-fly DAG-aware logic rewriting") {
+      : command(env, "on-the-fly DAG-aware logic rewriting [default = AIG]") {
     add_flag("--xmg, -x", "rewriting for XMG");
     add_flag("--mig, -m", "rewriting for MIG");
     add_flag("--xag, -g", "rewriting for XAG");
@@ -171,7 +171,7 @@ class rewrite_command : public command {
   }
 };
 
-ALICE_ADD_COMMAND(rewrite, "Logic synthesis")
+ALICE_ADD_COMMAND(rewrite, "Synthesis")
 
 }  // namespace alice
 
diff --git a/src/commands/functional_reduction.hpp b/src/commands/functional_reduction.hpp
index cbcb98b..3a30a48 100644
--- a/src/commands/functional_reduction.hpp
+++ b/src/commands/functional_reduction.hpp
@@ -30,7 +30,7 @@ namespace alice {
 class reduction_command : public command {
  public:
   explicit reduction_command(const environment::ptr& env)
-      : command(env, "functional reduction : using AIG as default") {
+      : command(env, "functional reduction [default = AIG]") {
     add_flag("--mig, -m", "functional reduction for MIG");
     add_flag("--xag, -g", "functional reduction for XAG");
     add_flag("--xmg, -x", "functional reduction for XMG");
@@ -82,7 +82,7 @@ class reduction_command : public command {
  private:
 };
 
-ALICE_ADD_COMMAND(reduction, "Logic synthesis")
+ALICE_ADD_COMMAND(reduction, "Synthesis")
 
 }  // namespace alice
 
diff --git a/src/commands/lut_mapping.hpp b/src/commands/lut_mapping.hpp
index 1aba6bf..52f87a2 100644
--- a/src/commands/lut_mapping.hpp
+++ b/src/commands/lut_mapping.hpp
@@ -31,7 +31,7 @@ namespace alice {
 class lut_mapping_command : public command {
  public:
   explicit lut_mapping_command(const environment::ptr &env)
-      : command(env, "LUT mapping : using AIG as default") {
+      : command(env, "LUT mapping [default = AIG]") {
     add_option("cut_size, -k", cut_size,
                "set the cut size from 2 to 8, default = 4");
     add_flag("--verbose, -v", "print the information");
diff --git a/src/commands/node_resynthesis.hpp b/src/commands/node_resynthesis.hpp
index 40ebdfd..035f81f 100644
--- a/src/commands/node_resynthesis.hpp
+++ b/src/commands/node_resynthesis.hpp
@@ -40,8 +40,7 @@ class resyn_command : public command {
  public:
   explicit resyn_command(const environment::ptr& env)
       : command(env,
-                "performs technology-independent restructuring : using MIG as "
-                "default") {
+                "performs technology-independent restructuring [default = MIG]") {
     add_flag("--xmg, -x", "Resubstitution for XMG");
     add_flag("--xag, -g", "Resubstitution for XAG");
     add_flag("--direct, -d", "Node resynthesis with direct synthesis");
@@ -107,7 +106,7 @@ class resyn_command : public command {
   }
 };
 
-ALICE_ADD_COMMAND(resyn, "Logic synthesis")
+ALICE_ADD_COMMAND(resyn, "Synthesis")
 
 }  // namespace alice
 
diff --git a/src/commands/refactor.hpp b/src/commands/refactor.hpp
index 37f0ec3..1fa96d6 100644
--- a/src/commands/refactor.hpp
+++ b/src/commands/refactor.hpp
@@ -31,7 +31,7 @@ namespace alice {
 class refactor_command : public command {
  public:
   explicit refactor_command(const environment::ptr& env)
-      : command(env, "performs technology-independent refactoring") {
+      : command(env, "performs technology-independent refactoring [default = AIG]") {
     add_flag("--mig, -m", "refactoring for MIG");
     add_flag("--xag, -g", "refactoring for XAG");
     add_flag("--xmg, -x", "refactoring for XMG");
@@ -128,7 +128,7 @@ class refactor_command : public command {
  private:
 };
 
-ALICE_ADD_COMMAND(refactor, "Logic synthesis")
+ALICE_ADD_COMMAND(refactor, "Synthesis")
 
 }  // namespace alice
 
diff --git a/src/commands/resub.hpp b/src/commands/resub.hpp
index 7718a27..c3408c2 100644
--- a/src/commands/resub.hpp
+++ b/src/commands/resub.hpp
@@ -40,7 +40,7 @@ namespace alice {
 class resub_command : public command {
  public:
   explicit resub_command(const environment::ptr& env)
-      : command(env, "performs technology-independent restructuring : using AIG as default") {
+      : command(env, "performs technology-independent restructuring [default = AIG]") {
     add_flag("--xmg, -x", "Resubstitution for XMG");
     add_flag("--mig, -m", "Resubstitution for MIG");
     add_flag("--xag, -g", "Resubstitution for XAG");
@@ -137,7 +137,7 @@ class resub_command : public command {
   }
 };
 
-ALICE_ADD_COMMAND(resub, "Logic synthesis")
+ALICE_ADD_COMMAND(resub, "Synthesis")
 
 }  // namespace alice
 
diff --git a/src/commands/techmap.hpp b/src/commands/techmap.hpp
index 0f71b78..cb90083 100644
--- a/src/commands/techmap.hpp
+++ b/src/commands/techmap.hpp
@@ -29,7 +29,7 @@ namespace alice {
   class techmap_command: public command {
   public:
     explicit techmap_command(const environment::ptr& env)
-      : command(env, "Standard cell mapping : using AIG as default") {
+      : command(env, "Standard cell mapping [default = AIG]") {
       add_flag("--xmg, -x", "Standard cell mapping for XMG");
       add_flag("--mig, -m", "Standard cell mapping for MIG");
       add_flag("--lut, -l", "Standard cell mapping for k-LUT");