diff --git a/collects/tests/typed-racket/xfail/ann-map-funcs.rkt b/collects/tests/typed-racket/xfail/ann-map-funcs.rkt
index 5a87b8cf..f2973cb6 100644
--- a/collects/tests/typed-racket/xfail/ann-map-funcs.rkt
+++ b/collects/tests/typed-racket/xfail/ann-map-funcs.rkt
@@ -2,7 +2,7 @@
 
 ;; This test is similar to unholy-terror.
 ;; Recent changes to the numeric tower makes this generate a ridiculous amount
-;; of inference contraints.
+;; of inference constraints.
 ;; Changes to the inference engine breaks inference on this test, but unlike
 ;; unholy terror, this one fails quite fast, so it's not as bad.
 ;; Reverting these changes would make inference work again, given enough time
diff --git a/collects/typed-racket/env/lexical-env.rkt b/collects/typed-racket/env/lexical-env.rkt
index 4fbfbfcc..20eb9543 100644
--- a/collects/typed-racket/env/lexical-env.rkt
+++ b/collects/typed-racket/env/lexical-env.rkt
@@ -38,7 +38,7 @@
   (with-lexical-env (replace-props (extend/values is ts (lexical-env)) ps) . b))
 
 ;; find the type of identifier i, looking first in the lexical env, then in the top-level env
-;; identifer -> Type
+;; identifier -> Type
 (define (lookup-type/lexical i [env (lexical-env)] #:fail [fail #f])
   (lookup env i (λ (i) (lookup-type i (λ () ((or fail lookup-fail) i))))))
 
diff --git a/collects/typed-racket/private/type-annotation.rkt b/collects/typed-racket/private/type-annotation.rkt
index 4516cb7a..cc4440be 100644
--- a/collects/typed-racket/private/type-annotation.rkt
+++ b/collects/typed-racket/private/type-annotation.rkt
@@ -113,7 +113,7 @@
       [else
        (tc-error "no type information on variable ~a" (syntax-e stx))])))
 
-;; Listof[identifer] #:default Type -> Listof[Type]
+;; Listof[identifier] #:default Type -> Listof[Type]
 (define (get-types stxs #:default [default #f])
   (map (lambda (e) (get-type e #:default default)) stxs))
 
diff --git a/collects/typed-racket/typecheck/tc-structs.rkt b/collects/typed-racket/typecheck/tc-structs.rkt
index 015c9af1..aca0aadd 100644
--- a/collects/typed-racket/typecheck/tc-structs.rkt
+++ b/collects/typed-racket/typecheck/tc-structs.rkt
@@ -144,7 +144,7 @@
 
 ;; generate names, and register the approriate types give field types and structure type
 ;; optionally wrap things
-;; identifier Type Listof[identifer] Listof[Type] Listof[Type] #:wrapper (Type -> Type) #:maker identifier
+;; identifier Type Listof[identifier] Listof[Type] Listof[Type] #:wrapper (Type -> Type) #:maker identifier
 (define/cond-contract (register-struct-types nm sty flds external-fld-types external-fld-types/no-parent setters?
                                              #:wrapper [wrapper values]
                                              #:struct-info [si #f]