diff --git a/examples/cosmos/ics20/README.md b/examples/cosmos/ics20/README.md
index c0e431048..97e22ba08 100644
--- a/examples/cosmos/ics20/README.md
+++ b/examples/cosmos/ics20/README.md
@@ -168,7 +168,7 @@ common-sense specification and make the following assumptions:
 
 - Balances are always non-negative, and operations error if there is
   insufficient balance. This assumption [is documented in pseudo-code in the
-  natural language spec][balancesNonNegative] for `TransferCoins`, but not explicitely stated for
+  natural language spec][balancesNonNegative] for `TransferCoins`, but not explicitly stated for
   `BurnCoins`:
 
 ```typescript
diff --git a/quint/src/effects/base.ts b/quint/src/effects/base.ts
index 73b5bf94f..f2419c052 100644
--- a/quint/src/effects/base.ts
+++ b/quint/src/effects/base.ts
@@ -211,7 +211,7 @@ function bindEntity(name: string, entity: Entity): Substitutions {
 }
 
 /**
- * Finds all entity names refered to by an entity
+ * Finds all entity names referred to by an entity
  *
  * @param entity the entity to be searched
  *
@@ -229,7 +229,7 @@ export function entityNames(entity: Entity): string[] {
 }
 
 /**
- * Finds all state variables refered to by an entity
+ * Finds all state variables referred to by an entity
  *
  * @param entity the entity to be searched
  *
diff --git a/quint/src/flattening/flattener.ts b/quint/src/flattening/flattener.ts
index f644eb1af..f9d5f889e 100644
--- a/quint/src/flattening/flattener.ts
+++ b/quint/src/flattening/flattener.ts
@@ -33,7 +33,7 @@ import assert from 'assert'
 import { uniqBy } from 'lodash'
 
 /**
- * Flatten a module, replacing instances, imports and exports with definitions refered by the module.
+ * Flatten a module, replacing instances, imports and exports with definitions referred by the module.
  *
  * @param quintModule - The module to be flattened
  * @param modulesByName - A map of referred modules by name
diff --git a/vscode/quint-vscode/server/src/rename.ts b/vscode/quint-vscode/server/src/rename.ts
index 31c80ad97..1c5a75cb4 100644
--- a/vscode/quint-vscode/server/src/rename.ts
+++ b/vscode/quint-vscode/server/src/rename.ts
@@ -5,7 +5,7 @@ import { QuintDef } from '@informalsystems/quint'
  *
  * The regular expression recognizes two capture groups:
  *   - the first capture group matches the qualifiers,
- *   - the second caputre group matches the declaration's name.
+ *   - the second capture group matches the declaration's name.
  */
 export function getDeclRegExp(decl: QuintDef): RegExp {
   switch (decl.kind) {