diff --git a/collects/racket/draw/dc.rkt b/collects/racket/draw/dc.rkt
index 4a3bd49141..cbad22887a 100644
--- a/collects/racket/draw/dc.rkt
+++ b/collects/racket/draw/dc.rkt
@@ -493,7 +493,7 @@
        args
        [([pen% p]) (set-pen! p) (reset-align!)]
        [([(make-alts string? color%) col]
-         [exact-nonnegative-integer? width]
+         [pen-width? width]
          [pen-style-symbol? style])
         (set-pen! (send the-pen-list find-or-create-pen col width style))
         (reset-align!)]
diff --git a/collects/racket/draw/pen.rkt b/collects/racket/draw/pen.rkt
index adb354c013..bd26946a1e 100644
--- a/collects/racket/draw/pen.rkt
+++ b/collects/racket/draw/pen.rkt
@@ -7,6 +7,7 @@
 
 (provide pen%
          pen-list% the-pen-list
+         pen-width?
          pen-style-symbol?)
 
 (define (pen-style-symbol? s)