diff --git a/ql/lib/semmle/go/controlflow/ControlFlowGraphImpl.qll b/ql/lib/semmle/go/controlflow/ControlFlowGraphImpl.qll
index 3b9d1571343..743b8e4fae6 100644
--- a/ql/lib/semmle/go/controlflow/ControlFlowGraphImpl.qll
+++ b/ql/lib/semmle/go/controlflow/ControlFlowGraphImpl.qll
@@ -489,7 +489,7 @@ module CFG {
     /**
      * A completion indicating that an expression was successfully evaluated to Boolean value `b`.
      *
-     * Note that many Boolean expressions are modelled as having completion `Done()` instead.
+     * Note that many Boolean expressions are modeled as having completion `Done()` instead.
      * Completion `Bool` is only used in contexts where the Boolean value can be determined.
      */
     Bool(boolean b) { b = true or b = false } or
diff --git a/ql/lib/semmle/go/dataflow/SsaImpl.qll b/ql/lib/semmle/go/dataflow/SsaImpl.qll
index a15e8595b99..0db37ac03ce 100644
--- a/ql/lib/semmle/go/dataflow/SsaImpl.qll
+++ b/ql/lib/semmle/go/dataflow/SsaImpl.qll
@@ -100,7 +100,7 @@ private module Internal {
 
   /**
    * Holds if the `i`th node of basic block `bb` may induce a pseudo-definition for
-   * modelling updates to captured variable `v`. Whether the definition is actually
+   * modeling updates to captured variable `v`. Whether the definition is actually
    * introduced depends on whether `v` is live at this point in the program.
    */
   private predicate mayCapture(ReachableBasicBlock bb, int i, SsaSourceVariable v) {
diff --git a/ql/lib/semmle/go/frameworks/Encoding.qll b/ql/lib/semmle/go/frameworks/Encoding.qll
index ea3d678305b..34af4ce6ed7 100644
--- a/ql/lib/semmle/go/frameworks/Encoding.qll
+++ b/ql/lib/semmle/go/frameworks/Encoding.qll
@@ -1,5 +1,5 @@
 /**
- * Provides classes modelling taint propagation through marshalling and encoding functions.
+ * Provides classes modeling taint propagation through marshalling and encoding functions.
  */
 
 import go
diff --git a/ql/lib/semmle/go/frameworks/Protobuf.qll b/ql/lib/semmle/go/frameworks/Protobuf.qll
index cdaf52990e8..66b3bba8de9 100644
--- a/ql/lib/semmle/go/frameworks/Protobuf.qll
+++ b/ql/lib/semmle/go/frameworks/Protobuf.qll
@@ -60,7 +60,7 @@ module Protobuf {
   }
 
   /**
-   * Additional taint-flow step modelling flow from `MarshalInput.Message` to `MarshalOutput`,
+   * Additional taint-flow step modeling flow from `MarshalInput.Message` to `MarshalOutput`,
    * mediated by a `MarshalOptions.MarshalState` call.
    *
    * Note we can taint the whole `MarshalOutput` as it only has one field (`Buf`), and taint-
diff --git a/ql/lib/semmle/go/frameworks/Revel.qll b/ql/lib/semmle/go/frameworks/Revel.qll
index 62f038d9120..1ccad431b84 100644
--- a/ql/lib/semmle/go/frameworks/Revel.qll
+++ b/ql/lib/semmle/go/frameworks/Revel.qll
@@ -5,7 +5,7 @@
 import go
 private import semmle.go.security.OpenUrlRedirectCustomizations
 
-/** Provides classes and methods modelling the Revel web framework. */
+/** Provides classes and methods modeling the Revel web framework. */
 module Revel {
   /** Gets the package name `github.com/revel/revel`. */
   string packagePath() { result = package(["github.com/revel", "github.com/robfig"], "revel") }
diff --git a/ql/lib/semmle/go/frameworks/Testing.qll b/ql/lib/semmle/go/frameworks/Testing.qll
index 728e33f31ef..2df3d6c0ddd 100644
--- a/ql/lib/semmle/go/frameworks/Testing.qll
+++ b/ql/lib/semmle/go/frameworks/Testing.qll
@@ -87,7 +87,7 @@ module TestFile {
   }
 }
 
-/** Provides classes modelling Ginkgo. */
+/** Provides classes modeling Ginkgo. */
 module Ginkgo {
   /** Gets the package path `github.com/onsi/ginkgo`. */
   string packagePath() { result = package("github.com/onsi/ginkgo", "") }