diff --git a/plugin/src/core/components/specialization/specialization.mli b/plugin/src/core/components/specialization/specialization.mli
index f13bba2..5dbc4cd 100644
--- a/plugin/src/core/components/specialization/specialization.mli
+++ b/plugin/src/core/components/specialization/specialization.mli
@@ -2,7 +2,7 @@
 
 (*
  * The default approach (specialize_using specialize_term)
- * is function application followed by betaiota reduction.
+ * is function application followed by betaiotazeta reduction.
  *
  * We expose more advanced specialization approaches so that it is
  * easy to customize how this is called, which is useful