diff --git a/src/tactic/core/propagate_values2_tactic.h b/src/tactic/core/propagate_values2_tactic.h
index 2ca534a49..ab9646128 100644
--- a/src/tactic/core/propagate_values2_tactic.h
+++ b/src/tactic/core/propagate_values2_tactic.h
@@ -36,6 +36,6 @@ inline tactic * mk_propagate_values2_tactic(ast_manager & m, params_ref const &
 
 
 /*
-  ADD_TACTIC("propagate-valuesx2", "propagate constants.", "mk_propagate_values2_tactic(m, p)")
+  ADD_TACTIC("propagate-values2", "propagate constants.", "mk_propagate_values2_tactic(m, p)")
 */