diff --git a/collects/mzlib/private/contract-ds.ss b/collects/mzlib/private/contract-ds.ss
index adbfb9b7a8..8f48b9d546 100644
--- a/collects/mzlib/private/contract-ds.ss
+++ b/collects/mzlib/private/contract-ds.ss
@@ -388,7 +388,7 @@ it around flattened out.
                             #,(bind-lifts
                                lifts
                                #`(let-syntax #,(if (opt/info-recf opt/info)
-                                                   (#`[#,(opt/info-recf opt/info) 
+                                                   #`([#,(opt/info-recf opt/info) 
                                                          (lambda (stx)
                                                            (syntax-case stx () 
                                                              [(f val args ((... ...) (... ...)))