diff --git a/src/compile.ml b/src/compile.ml
index 8cbfd8cbea3..6eeebcc3932 100644
--- a/src/compile.ml
+++ b/src/compile.ml
@@ -2159,7 +2159,7 @@ module Serialization = struct
       pointer.
     * The last entry of the table is the dataref from above. Since we don't
       need it after this, we decrement the table reference pointer by one.
-    * We internalize this databuf intot the heap space, bumping the heap
+    * We internalize this databuf into the heap space, bumping the heap
       pointer.
     * We traverse this space and adjust all pointers.
       Same for indices into the reference table.
@@ -2928,7 +2928,7 @@ module StackRep = struct
   let materialize env = function
     | StaticFun fi -> Var.static_fun_pointer env fi
 
-  let deferred_of_static_think env s =
+  let deferred_of_static_thing env s =
     { materialize = (fun env -> (StaticThing s, G.nop))
     ; materialize_vanilla = (fun env -> materialize env s)
     }
@@ -3362,7 +3362,7 @@ let compile_relop env t op =
 
 
 (* compile_lexp is used for expressions on the left of an
-assignment operator, produces some code (with sideffect), and some pure code *)
+assignment operator, produces some code (with side effect), and some pure code *)
 let rec compile_lexp (env : E.t) exp =
   (fun (sr,code) -> (sr, G.with_region exp.at code)) @@
   match exp.it with
@@ -3911,7 +3911,7 @@ and compile_dec pre_env how dec : E.t * G.t * (E.t -> G.t) =
   (* A special case for static expressions *)
   | LetD ({it = VarP v; _}, e) when not (AllocHow.M.mem v.it how) ->
     let (static_thing, fill) = compile_static_exp pre_env how e in
-    let d = StackRep.deferred_of_static_think pre_env static_thing in
+    let d = StackRep.deferred_of_static_thing pre_env static_thing in
     let pre_env1 = E.add_local_deferred pre_env v.it d in
     ( pre_env1, G.nop, fun env -> fill env; G.nop)
   | LetD (p, e) ->
diff --git a/src/coverage.ml b/src/coverage.ml
index e70a5ae001b..6447ca60e75 100644
--- a/src/coverage.ml
+++ b/src/coverage.ml
@@ -178,7 +178,7 @@ let warn at fmt =
   ) fmt
 
 let check_cases cases t : bool =
-	let sets = make_sets () in
+  let sets = make_sets () in
   let exhaustive = fail (InCase (Source.no_region, cases, t)) Any sets in
   let unreached_cases = AtSet.diff sets.cases sets.reached_cases in
   let unreached_alts = AtSet.diff sets.alts sets.reached_alts in