diff --git a/src/tactic/core/simplify_tactic.h b/src/tactic/core/simplify_tactic.h
index af0806162..68f70e768 100644
--- a/src/tactic/core/simplify_tactic.h
+++ b/src/tactic/core/simplify_tactic.h
@@ -19,7 +19,7 @@ Tactic Documentation:
 
 ### Short Description:
 
-The tactic performs algebraic simplifcations on formulas
+The tactic performs algebraic simplifications on formulas
 
 ### Long Description