diff --git a/collects/framework/specs.ss b/collects/framework/specs.ss
index ae1c464..600815b 100644
--- a/collects/framework/specs.ss
+++ b/collects/framework/specs.ss
@@ -24,16 +24,12 @@
        (andmap identifier? (syntax->list (syntax (id ...))))
        (with-syntax ([(id-rename ...) (generate-temporaries (syntax (id ...)))]
 		     [(contract-id ...)
-		      (generate-temporaries
-		       (with-syntax ([(pre-contract-id ...)
-				      (map (lambda (x)
-					     (string->symbol
-					      (format
-					       "contract-id-~a-"
-					       (syntax-object->datum x))))
-					   (syntax->list (syntax (id ...))))])
-			 (generate-temporaries
-			  (syntax (pre-contract-id ...)))))]
+                      (map (lambda (x)
+                             (datum->syntax-object
+                              provide-stx
+                              (string->symbol
+                               (format "provide/contract-id-~a-ACK" (syntax-object->datum x)))))
+                           (syntax->list (syntax (id ...))))]
                      [pos-blame-stx (datum->syntax-object provide-stx 'here)]
                      [module-source-as-symbol (datum->syntax-object provide-stx 'module-source-as-symbol)])
          (syntax
@@ -44,8 +40,7 @@
             (define-syntax id-rename
               (make-set!-transformer
                (lambda (stx)
-                 (with-syntax ([neg-blame-stx (datum->syntax-object stx 'here)]
-                               [m-stx stx])
+                 (with-syntax ([neg-blame-stx (datum->syntax-object stx 'here)])
                    (syntax-case stx (set!)
                      [(set! _ body) (raise-syntax-error
                                      #f