diff --git a/compiler/lcalc/to_ocaml.ml b/compiler/lcalc/to_ocaml.ml
index c09efc97..3a2199fd 100644
--- a/compiler/lcalc/to_ocaml.ml
+++ b/compiler/lcalc/to_ocaml.ml
@@ -745,7 +745,6 @@ let format_program
         | Enum e -> Enum (Expr.Renaming.enum_name ren_ctx e))
       type_ordering
   in
-  (* Print.program fmt p; *)
   Format.pp_open_vbox fmt 0;
   Format.pp_print_string fmt header;
   check_and_reexport_used_modules fmt ~hashf
diff --git a/compiler/shared_ast/expr.mli b/compiler/shared_ast/expr.mli
index ddf85038..71c15325 100644
--- a/compiler/shared_ast/expr.mli
+++ b/compiler/shared_ast/expr.mli
@@ -399,9 +399,9 @@ module Renaming : sig
   type config = {
     reserved : string list;  (** Use for keywords and built-ins *)
     sanitize_varname : string -> string;  (** Typically String.to_snake_case *)
-    reset_context_for_closed_terms : bool;  (** See [Bindlib.Rename] *)
-    skip_constant_binders : bool;  (** See [Bindlib.Rename] *)
-    constant_binder_name : string option;  (** See [Bindlib.Rename] *)
+    reset_context_for_closed_terms : bool;  (** See [Bindlib.Renaming] *)
+    skip_constant_binders : bool;  (** See [Bindlib.Renaming] *)
+    constant_binder_name : string option;  (** See [Bindlib.Renaming] *)
   }
 
   type context