diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss
index 794007f5..552a2856 100644
--- a/collects/mred/private/kernel.ss
+++ b/collects/mred/private/kernel.ss
@@ -78,9 +78,9 @@
 		   (syntax
 		    (define name (let ([c (dynamic-require ''#%mred-kernel 'name)])
 				   (make-primitive-class
-				    (lambda (class prop:object preparer dispatcher more-props)
+				    (lambda (class prop:object preparer dispatcher prop:unwrap more-props)
 				      (kernel:primitive-class-prepare-struct-type! 
-				       c prop:object class preparer dispatcher more-props))
+				       c prop:object class preparer dispatcher prop:unwrap more-props))
 				    kernel:initialize-primitive-object
 				    'print-name super (list intf ...) 'args
 				    '(old ...)
diff --git a/collects/mrlib/interactive-value-port.ss b/collects/mrlib/interactive-value-port.ss
index bb8eb950..1703dc07 100644
--- a/collects/mrlib/interactive-value-port.ss
+++ b/collects/mrlib/interactive-value-port.ss
@@ -39,9 +39,11 @@
          (exact? x)
          (real? x)
          (not (integer? x))))
-  
+
+  (define default-pretty-print-current-style-table (pretty-print-current-style-table))
+
   (define (do-printing pretty value port)
-    (parameterize (;; these three handlers aren't used, but are set to override the user's settings
+    (parameterize (;; these handlers aren't used, but are set to override the user's settings
                    [pretty-print-print-line (λ (line-number op old-line dest-columns) 
                                                 (when (and (not (equal? line-number 0))
                                                            (not (equal? dest-columns 'infinity)))
@@ -50,7 +52,20 @@
                    [pretty-print-pre-print-hook (λ (val port) (void))]
                    [pretty-print-post-print-hook (λ (val port) (void))]
                    [pretty-print-columns 'infinity]
-                     
+                   [pretty-print-exact-as-decimal #f]
+                   [pretty-print-depth #f]
+                   [pretty-print-.-symbol-without-bars #f]
+                   [pretty-print-show-inexactness #f]
+                   [pretty-print-abbreviate-read-macros #t]
+                   [pretty-print-current-style-table default-pretty-print-current-style-table]
+                   [pretty-print-remap-stylable (λ (x) #f)]
+                   [pretty-print-print-line
+                    (lambda (line port offset width)
+                      (when (and (number? width)
+                                 (not (eq? 0 line)))
+                        (newline port))
+                      0)]
+                   
                    [pretty-print-size-hook
                     (λ (value display? port)
                       (cond