diff --git a/collects/redex/pict.rkt b/collects/redex/pict.rkt
index 2b41086693..6bc6a914ba 100644
--- a/collects/redex/pict.rkt
+++ b/collects/redex/pict.rkt
@@ -14,7 +14,9 @@
            'horizontal-left-align
            'horizontal))
 
-(provide reduction-rule-style/c render-term term->pict)
+(provide reduction-rule-style/c render-term term->pict
+         term->pict/pretty-write
+         render-term/pretty-write)
 
 (provide/contract
  [render-reduction-relation