diff --git a/collects/mzlib/contract.ss b/collects/mzlib/contract.ss
index b1306c1..0133429 100644
--- a/collects/mzlib/contract.ss
+++ b/collects/mzlib/contract.ss
@@ -462,21 +462,23 @@ add struct contracts for immutable structs?
                                             (syntax _))]
                             [(_ arg (... ...))
                              (syntax 
-                              ((-contract contract-id
-                                          id
-                                          pos-module-source
-                                          (module-source-as-symbol #'neg-stx)
-                                          (quote-syntax _))
+                              ((begin-lifted
+				(-contract contract-id
+					   id
+					   pos-module-source
+					   (module-source-as-symbol #'neg-stx)
+					   (quote-syntax _)))
                                arg
                                (... ...)))]
                             [_
                              (identifier? (syntax _))
                              (syntax 
-                              (-contract contract-id
-                                         id  
-                                         pos-module-source 
-                                         (module-source-as-symbol #'neg-stx)
-                                         (quote-syntax _)))]))))))))))
+                              (begin-lifted
+			       (-contract contract-id
+					  id  
+					  pos-module-source 
+					  (module-source-as-symbol #'neg-stx)
+					  (quote-syntax _))))]))))))))))
          
          (with-syntax ([(bodies ...) (code-for-each-clause (syntax->list (syntax (p/c-ele ...))))])
            (syntax 
diff --git a/collects/mzlib/etc.ss b/collects/mzlib/etc.ss
index 7f15bbe..1f6e4d0 100644
--- a/collects/mzlib/etc.ss
+++ b/collects/mzlib/etc.ss
@@ -560,4 +560,5 @@
   (define-syntax (begin-lifted stx)
     (syntax-case stx ()
       [(_ expr0 expr ...)
-       (syntax-local-lift-expression #'(begin expr0 expr ...))])))
+       (syntax-local-lift-expression 
+	#'(begin expr0 expr ...))])))