diff --git a/collects/deinprogramm/define-record-procedures.scm b/collects/deinprogramm/define-record-procedures.scm
index 037c1c873f..59de36b9f8 100644
--- a/collects/deinprogramm/define-record-procedures.scm
+++ b/collects/deinprogramm/define-record-procedures.scm
@@ -171,7 +171,7 @@
 		       (with-syntax ((base-signature
 				      (stepper-syntax-property
 				       #'(define ?type-name 
-					   (signature (predicate real-predicate)))
+					   (signature ?type-name (predicate real-predicate)))
 				       'stepper-skip-completely 
 				       #t))
 				     (constructor-signature