diff --git a/lib/inference.ml b/lib/inference.ml
index 4706f5f..c620ddc 100644
--- a/lib/inference.ml
+++ b/lib/inference.ml
@@ -40,7 +40,7 @@ let typeof t =
           | Some _ -> Some ty_fn, env
           | None -> None, env)
        (* | (Some (Type.Var _ as ty1), _), _ ->
-          (* On this case we may have a function represented as the variable *)
+          (* On this case we may have a function represented as a variable *)
           let ty2 = Type.Arrow (ty1, ty1) in
           (match Unification.unify ty1 ty2 with
           | Some env' -> Some ty2, env'