diff --git a/src/passes/4-typer-old/typer.ml b/src/passes/4-typer-old/typer.ml
index 87f4b2477..7c1cd41a4 100644
--- a/src/passes/4-typer-old/typer.ml
+++ b/src/passes/4-typer-old/typer.ml
@@ -649,7 +649,6 @@ and type_expression' : environment -> ?tv_opt:O.type_expression -> I.expression
           let wtype = Format.asprintf
             "Loops over collections expect lists, sets or maps, got type %a" O.PP.type_expression tv_col in 
           fail @@ simple_error wtype in 
-      let lname = lname in
       let e' = Environment.add_ez_binder lname input_type e in
       let%bind body = type_expression' ?tv_opt:(Some tv_out) e' result in
       let output_type = body.type_expression in
diff --git a/src/stages/adt_generator/README b/src/stages/adt_generator/README
index 20ecdfd43..2d1b53c3d 100644
--- a/src/stages/adt_generator/README
+++ b/src/stages/adt_generator/README
@@ -1,6 +1,6 @@
-Build with:
+Build & test with:
 
-    dune build adt_generator.a
+    dune build adt_generator.exe && ../../../_build/default/src/stages/adt_generator/adt_generator.exe
 
 Run with
 
diff --git a/src/stages/ast_typed/types.ml b/src/stages/ast_typed/types.ml
index 5aa323c9b..8804e49e7 100644
--- a/src/stages/ast_typed/types.ml
+++ b/src/stages/ast_typed/types.ml
@@ -95,7 +95,6 @@ and matching =
 
 and ascription = {anno_expr: expression; type_annotation: type_expression}
 
-
 and environment_element_definition =
   | ED_binder
   | ED_declaration of (expression * free_variables)