diff --git a/designs/2330-modules-v2.md b/designs/2330-modules-v2.md
index 16a9e0a..734889f 100644
--- a/designs/2330-modules-v2.md
+++ b/designs/2330-modules-v2.md
@@ -100,7 +100,7 @@ This is proposed [here](./modules/2451-modules-compat.md).
 
 ### Compatibility Attributes
 Sometimes publishers will deliberately break compatibility.
-For instane, features may be deprecated or removed, some features
+For instance, features may be deprecated or removed, some features
 may be changed during an alpha or beta release cycle, while
 feature flags may be valid for a limited time only if they
 correspond to an experiment.
@@ -146,7 +146,7 @@ section we discuss some of the details along with motivations for the design.
 
 ### Rationale
 
-Most schema stores and package managers for programming languages follow follow
+Most schema stores and package managers for programming languages follow
 a registry design. For example, Rust with [crates.io](https://crates.io/) and
 JavaScript with [NPM](https://www.npmjs.com/).
 
diff --git a/designs/modules/2451-modules-compat.md b/designs/modules/2451-modules-compat.md
index 36aada8..5d640dd 100644
--- a/designs/modules/2451-modules-compat.md
+++ b/designs/modules/2451-modules-compat.md
@@ -58,7 +58,7 @@ For this proposal we will focus on backwards compatibility for definitions only.
 We propose to support a backwards compatibility checks for
 definitions based on subsumption:
 
-- a major change occurs when a newer defintion does not subsume an older
+- a major change occurs when a newer definition does not subsume an older
   version,
 - a minor change occurs when a newer definition subsumes an older version,
   and is not semantically equivalent to this older version,
@@ -254,7 +254,7 @@ rules.
 However, not doing so may result in uncaught bugs and may even pose a
 security issue.
 
-The CUE tooling should therefore allow for a  process by which the compatibility
+The CUE tooling should therefore allow for a process by which the compatibility
 rule can be bypassed.
 
 We are aware of this need and are still figuring out how to best go about this.