diff --git a/src/tactic/arith/fm_tactic.h b/src/tactic/arith/fm_tactic.h
index 7021dc273..8a40c0564 100644
--- a/src/tactic/arith/fm_tactic.h
+++ b/src/tactic/arith/fm_tactic.h
@@ -19,7 +19,7 @@ Use Fourier-Motzkin to eliminate variables.
 This strategy can handle conditional bounds
 (i.e., clauses with at most one constraint).
 
-The strategy mk_occf can be used to put the
+The tactic occf can be used to put the
 formula in OCC form.
 
 ### Example