diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt
index 6acfba37..4cb1a397 100644
--- a/typed-racket-lib/typed-racket/base-env/base-env.rkt
+++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt
@@ -190,6 +190,7 @@
               #:max-width (Un -Nat (-val +inf.0)) #f
               #:min-width -Nat #f
               #:limit-marker -String #f
+              #:limit-prefix? -Boolean #f
               #:align (one-of/c 'left 'center 'right) #f
               #:pad-string -String #f
               #:left-pad-string -String #f
@@ -202,6 +203,7 @@
               #:max-width (Un -Nat (-val +inf.0)) #f
               #:min-width -Nat #f
               #:limit-marker -String #f
+              #:limit-prefix? -Boolean #f
               #:align (one-of/c 'left 'center 'right) #f
               #:pad-string -String #f
               #:left-pad-string -String #f
@@ -214,6 +216,7 @@
               #:max-width (Un -Nat (-val +inf.0)) #f
               #:min-width -Nat #f
               #:limit-marker -String #f
+              #:limit-prefix? -Boolean #f
               #:align (one-of/c 'left 'center 'right) #f
               #:pad-string -String #f
               #:left-pad-string -String #f
@@ -226,6 +229,7 @@
               #:max-width (Un -Nat (-val +inf.0)) #f
               #:min-width -Nat #f
               #:limit-marker -String #f
+              #:limit-prefix? -Boolean #f
               #:align (one-of/c 'left 'center 'right) #f
               #:pad-string -String #f
               #:left-pad-string -String #f
@@ -253,6 +257,7 @@
                #:max-width (Un -Nat (-val +inf.0)) #f
                #:min-width -Nat #f
                #:limit-marker -String #f
+               #:limit-prefix? -Boolean #f
                #:align (one-of/c 'left 'center 'right) #f
                #:pad-string -String #f
                #:left-pad-string -String #f
@@ -265,6 +270,7 @@
                #:max-width (Un -Nat (-val +inf.0)) #f
                #:min-width -Nat #f
                #:limit-marker -String #f
+               #:limit-prefix? -Boolean #f
                #:align (one-of/c 'left 'center 'right) #f
                #:pad-string -String #f
                #:left-pad-string -String #f
@@ -277,6 +283,7 @@
                #:max-width (Un -Nat (-val +inf.0)) #f
                #:min-width -Nat #f
                #:limit-marker -String #f
+               #:limit-prefix? -Boolean #f
                #:align (one-of/c 'left 'center 'right) #f
                #:pad-string -String #f
                #:left-pad-string -String #f
diff --git a/typed-racket-test/succeed/format.rkt b/typed-racket-test/succeed/format.rkt
index f1e9bb64..5773a60a 100644
--- a/typed-racket-test/succeed/format.rkt
+++ b/typed-racket-test/succeed/format.rkt
@@ -8,21 +8,27 @@
 (~a "foo" 'a 3)
 (~a "foo" 'a 3 #:separator ", " #:width 20)
 (~a "foo" 'a 3 #:max-width 20 #:min-width 10)
+(~a "foo" 'a 3 #:max-width 4 #:limit-prefix? #t)
 (~s "foo" 'a 3)
 (~s "foo" 'a 3 #:separator ", " #:width 20)
 (~s "foo" 'a 3 #:max-width 20 #:min-width 10)
+(~s "foo" 'a 3 #:max-width 4 #:limit-prefix? #t)
 (~v "foo" 'a 3)
 (~v "foo" 'a 3 #:separator ", " #:width 20)
 (~v "foo" 'a 3 #:max-width 20 #:min-width 10)
+(~v "foo" 'a 3 #:max-width 4 #:limit-prefix? #t)
 (~.a "foo" 'a 3)
 (~.a "foo" 'a 3 #:separator ", " #:width 20)
 (~.a "foo" 'a 3 #:max-width 20 #:min-width 10)
+(~.a "foo" 'a 3 #:max-width 4 #:limit-prefix? #t)
 (~.s "foo" 'a 3)
 (~.s "foo" 'a 3 #:separator ", " #:width 20)
 (~.s "foo" 'a 3 #:max-width 20 #:min-width 10)
+(~.s "foo" 'a 3 #:max-width 4 #:limit-prefix? #t)
 (~.v "foo" 'a 3)
 (~.v "foo" 'a 3 #:separator ", " #:width 20)
 (~.v "foo" 'a 3 #:max-width 20 #:min-width 10)
+(~.v "foo" 'a 3 #:max-width 4 #:limit-prefix? #t)
 (~r 234234)
 (~r 3.5 #:sign '+ #:base 3 #:precision 3
     #:notation 'positional #:format-exponent "fooo"