diff --git a/src/passes/4-typer-new/solver.ml b/src/passes/4-typer-new/solver.ml
index 6f9100d2a..f134ddf6e 100644
--- a/src/passes/4-typer-new/solver.ml
+++ b/src/passes/4-typer-new/solver.ml
@@ -1070,7 +1070,7 @@ let initial_state : state = (* {
    inferred for all bindings and expressions, etc.
 
    Also, we should check at these places that we indeed do not need the
-   state any further. Suwanne *)
+   state any further. Suzanne *)
 let discard_state (_ : state) = ()
 
 (* let replace_var_in_state = fun (v : type_variable) (state : state) -> *)
diff --git a/src/passes/4-typer-old/typer.ml b/src/passes/4-typer-old/typer.ml
index c21943e5e..8abdca6db 100644
--- a/src/passes/4-typer-old/typer.ml
+++ b/src/passes/4-typer-old/typer.ml
@@ -8,11 +8,7 @@ module SMap = O.SMap
 
 module Environment = O.Environment
 
-module Solver = Typer_new.Solver (* struct
-  type state = Placeholder_for_state_of_new_typer
-  let discard_state (_ : state) = ()
-  let initial_state = Placeholder_for_state_of_new_typer
-end *)
+module Solver = Typer_new.Solver
 
 type environment = Environment.t
 
diff --git a/src/passes/4-typer-old/typer.mli b/src/passes/4-typer-old/typer.mli
index 315d38c84..361ffa612 100644
--- a/src/passes/4-typer-old/typer.mli
+++ b/src/passes/4-typer-old/typer.mli
@@ -6,11 +6,7 @@ module O = Ast_typed
 module SMap = O.SMap
 module Environment = O.Environment
 
-module Solver : module type of Typer_new.Solver (* sig
-  type state = Placeholder_for_state_of_new_typer
-  val discard_state : state -> unit
-  val initial_state : state
-end *)
+module Solver : module type of Typer_new.Solver
 
 type environment = Environment.t