diff --git a/pkgs/drracket-pkgs/drracket/drracket/HISTORY.txt b/pkgs/drracket-pkgs/drracket/drracket/HISTORY.txt
index 625fe82e2c..6810647c0d 100644
--- a/pkgs/drracket-pkgs/drracket/drracket/HISTORY.txt
+++ b/pkgs/drracket-pkgs/drracket/drracket/HISTORY.txt
@@ -171,7 +171,7 @@
         Version 5.2
 ------------------------------
 
-  . changed three menu keybidings:
+  . changed three menu keybindings:
       "New Tab" is now <menukey>-t
       "Run" is now <menukey>-r
       "Replace" is now <menukey>-shift-f
diff --git a/pkgs/racket-pkgs/racket-doc/scribblings/guide/proc-macros.scrbl b/pkgs/racket-pkgs/racket-doc/scribblings/guide/proc-macros.scrbl
index 00fc900245..3aac17e729 100644
--- a/pkgs/racket-pkgs/racket-doc/scribblings/guide/proc-macros.scrbl
+++ b/pkgs/racket-pkgs/racket-doc/scribblings/guide/proc-macros.scrbl
@@ -34,7 +34,7 @@ the expression. For example, a representation of the expression
 content, a syntax object associates source-location and
 lexical-binding information with each part of the form. The
 source-location information is used when reporting syntax errors (for
-example), and the lexical-biding information allows the macro system
+example), and the lexical-binding information allows the macro system
 to maintain lexical scope. To accommodate this extra information, the
 represention of the expression @racket[(+ 1 2)] is not merely
 @racket['(+ 1 2)], but a packaging of @racket['(+ 1 2)] into a syntax
diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/search.rkt b/pkgs/scribble-pkgs/scribble-lib/scribble/search.rkt
index a545c8ca39..458056dc5b 100644
--- a/pkgs/scribble-pkgs/scribble-lib/scribble/search.rkt
+++ b/pkgs/scribble-pkgs/scribble-lib/scribble/search.rkt
@@ -32,7 +32,7 @@
     ;; because no one uses the same name for different-phase exported
     ;; bindings.
     ;;
-    ;; Formerly, we assumed that bidings are defined as originating from some
+    ;; Formerly, we assumed that bindings are defined as originating from some
     ;; module at phase 0. [Maybe it's defined at phase 1 and re-exported
     ;; later for phase 0 (after a require-for-template), in which case the
     ;; re-exporting module is the one we find.] That assumption has been
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/safe-letrec.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/safe-letrec.rkt
index 32acee2c48..c28a160f75 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/safe-letrec.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/safe-letrec.rkt
@@ -2,7 +2,7 @@
 (exn-pred 2)
 #lang typed/racket
 
-;; make sure letrec takes into account that some bidings may be undefined
+;; make sure letrec takes into account that some bindings may be undefined
 
 (+ (letrec: ([x : Float x]) x) 1) ; PR 11511
 
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/safe-letrec.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/safe-letrec.rkt
index c71b420320..12e5060eac 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/safe-letrec.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/safe-letrec.rkt
@@ -1,6 +1,6 @@
 #lang typed/racket
 
-;; make sure letrec takes into account that some bidings may be undefined
+;; make sure letrec takes into account that some bindings may be undefined
 
 (letrec: ([x : Number 3])
   x)