diff --git a/collects/redex/pict.rkt b/collects/redex/pict.rkt
index 190c2dfaf1..652cdd5cc3 100644
--- a/collects/redex/pict.rkt
+++ b/collects/redex/pict.rkt
@@ -5,7 +5,6 @@
          "private/core-layout.ss"
          "private/loc-wrapper.ss"
          "reduction-semantics.ss"
-         (lib "mred.ss" "mred")
          (lib "mrpict.ss" "texpict"))
 
 (define reduction-rule-style/c
diff --git a/collects/redex/private/arrow.rkt b/collects/redex/private/arrow.rkt
index c8dad8c4a5..9f24c5c378 100644
--- a/collects/redex/private/arrow.rkt
+++ b/collects/redex/private/arrow.rkt
@@ -1,6 +1,6 @@
 #lang scheme/base
 (require texpict/mrpict
-         scheme/gui/base
+         racket/draw
          scheme/class
          scheme/contract)
 
@@ -28,8 +28,7 @@
                                       font-family
                                       'normal
                                       'normal))])
-    (let* ([ps-pen-width-factor 0.042] ;; factor of the height to get the pen width
-           [screen-pen-width-factor .08]
+    (let* ([pen-width-factor 0.042] ;; factor of the height to get the pen width
            [line-pos (+ a (/ (- h a) 2))]
            [head-width (/ w 5)]
            [head-height (* (- h a) 9/16)]
@@ -59,12 +58,7 @@
        (dc
         (λ (dc dx dy)
           (let ([old-pen (send dc get-pen)]
-                [old-brush (send dc get-brush)]
-                [pen-width-factor
-                 (if (or (is-a? dc printer-dc%)
-                         (is-a? dc post-script-dc%))
-                     ps-pen-width-factor
-                     screen-pen-width-factor)])
+                [old-brush (send dc get-brush)])
             (send dc set-pen (send old-pen get-color) (* h pen-width-factor) 'solid)
             
             ;; main line of arrow
diff --git a/collects/redex/private/core-layout.rkt b/collects/redex/private/core-layout.rkt
index 86ef5bfd7d..26b07f3073 100644
--- a/collects/redex/private/core-layout.rkt
+++ b/collects/redex/private/core-layout.rkt
@@ -8,7 +8,7 @@
          texpict/mrpict
         
          scheme/match
-         scheme/gui/base
+         racket/draw
          scheme/class)
 
 (require (for-syntax scheme/base))
diff --git a/collects/redex/private/pict.rkt b/collects/redex/private/pict.rkt
index 4b0faaaeff..3f84098778 100644
--- a/collects/redex/private/pict.rkt
+++ b/collects/redex/private/pict.rkt
@@ -2,7 +2,7 @@
 (require (lib "mrpict.ss" "texpict")
          (lib "utils.ss" "texpict")
          racket/contract
-         scheme/gui/base
+         racket/draw
          scheme/class
          scheme/match
          (only-in scheme/list drop-right last partition)