diff --git a/collects/deinprogramm/DMdA.ss b/collects/deinprogramm/DMdA.ss
index f760e65d3d..97a21c8b04 100644
--- a/collects/deinprogramm/DMdA.ss
+++ b/collects/deinprogramm/DMdA.ss
@@ -880,7 +880,7 @@
 (define true (contract (one-of #f)))
 (define false (contract (one-of #f)))
 
-(define string (contract/arbitrary arbitrary-string (predicate string?)))
+(define string (contract/arbitrary arbitrary-printable-ascii-string (predicate string?)))
 (define symbol (contract/arbitrary arbitrary-symbol (predicate symbol?)))
 (define empty-list (contract (one-of empty)))
 
diff --git a/collects/deinprogramm/deinprogramm-langs.ss b/collects/deinprogramm/deinprogramm-langs.ss
index bed2a91831..8fe56a2e03 100644
--- a/collects/deinprogramm/deinprogramm-langs.ss
+++ b/collects/deinprogramm/deinprogramm-langs.ss
@@ -54,6 +54,9 @@
   (define user-installed-teachpacks-collection "installed-teachpacks")
   (define teachpack-installation-dir (build-path (find-user-collects-dir) user-installed-teachpacks-collection))
 
+  (define generic-proc
+    (procedure-rename void '?))
+
   ;; adapted from collects/drscheme/private/main.ss
   (preferences:set-default 'drscheme:deinprogramm:last-set-teachpacks
                            '() 
@@ -205,7 +208,11 @@
 				 obj contract message blame))))))
                  (scheme-test-data (list (drscheme:rep:current-rep) drs-eventspace contract-test-display%))
                  (test-execute (get-preference 'tests:enable? (lambda () #t)))
-                 (test-format (make-formatter (lambda (v o) (render-value/format v settings o 40))))
+                 (test-format (make-formatter (lambda (v o)
+						(render-value/format (if (procedure? v)
+									 generic-proc
+									 v)
+								     settings o 40))))
 		 )))
             (super on-execute settings run-in-user-thread)