diff --git a/default.nix b/default.nix
index 3fb207375b8..2cfb244b9eb 100644
--- a/default.nix
+++ b/default.nix
@@ -32,7 +32,7 @@ let real-dvm =
     then
       if !builtins.pathExists ./nix/dev/default.nix
       then
-        throw "\"test-dvm = true\" requires a checkout of dev in ./nix.\nSee Jenkinsfile for the reqiure revision. "
+        throw "\"test-dvm = true\" requires a checkout of dev in ./nix.\nSee Jenkinsfile for the required revision. "
       else
         # Pass devel = true until the dev test suite runs on MacOS again
         ((import ./nix/dev) { devel = true; }).dvm
diff --git a/src/definedness.ml b/src/definedness.ml
index 0214dcb02d5..7d7540f3eae 100644
--- a/src/definedness.ml
+++ b/src/definedness.ml
@@ -2,7 +2,7 @@
 This module implements a check that rules out use-before define.
 It is a compositional algorithm that returns, for each subexpression,
  * Which variables are used eagerly and
- * which are delayd
+ * which are delayed
 these sets are disjoint and their union makes up the set of free variables, so
 the structure of this module is very similar to that of freevars.ml.
 
@@ -187,7 +187,7 @@ and decs msgs decs : f =
   let e = set_unions (List.map (fun (_,_,eager,_) ->
     NameRel.range (NameRel.restricted_rtcl eager r)
   ) decs') in
-  (* Every thing else is lazy *)
+  (* Everything else is lazy *)
   let d = S.diff (set_unions (List.map (fun (_,_,_,delayed) -> delayed) decs')) e in
   (* And remove whats defined here  *)
   M.disjoint_union (map_of_set Eager e) (map_of_set Delayed d) |>