diff --git a/collects/lang/r5rs.ss b/collects/lang/r5rs.ss
index bcfcf42cf3..3ef7de3914 100644
--- a/collects/lang/r5rs.ss
+++ b/collects/lang/r5rs.ss
@@ -57,7 +57,8 @@
 	 (let ((temp1 init1) ...)
 	   (set! var1 temp1)
 	   ...
-	   body ...)))
+	   (let ()
+	     body ...))))
       ((r5rs:letrec "generate_temp_names"
 	 (x y ...)
 	 (temp ...)