diff --git a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
index 4bd95698..3b740d5f 100644
--- a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
+++ b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
@@ -337,6 +337,9 @@
            (let: ([v : String "a"])
                  (string-append "foo" (a v))))
          -String]
+        [tc-e (string-join '("hello" "world") " ") -String]
+        [tc-e (string-join '("hello" "world")) -String]
+        [tc-e (string-join '("hello" "world") #:first "a") -String]
 
         [tc-e (apply (plambda: (a) [x : a *] x) '(5)) (-lst -PosByte)]
         [tc-e (apply append (list '(1 2 3) '(4 5 6))) (-lst -PosByte)]
diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt
index 31460e03..bbef85be 100644
--- a/collects/typed-racket/base-env/base-env.rkt
+++ b/collects/typed-racket/base-env/base-env.rkt
@@ -363,7 +363,10 @@
  (cl->* (-> (-lst -String) -String)
         (-> -String (-lst -String) -String))]
 
-[string-join (-> (-lst -String) -String -String)]
+[string-join
+ (->optkey (-lst -String) [-String]
+           #:before-last -String #f #:first -String #f #:last -String #f
+           -String)]
 
 
 ;Section 3.6