diff --git a/src/cmp/cmplam.lsp b/src/cmp/cmplam.lsp
index b1552ff00..91871bf30 100644
--- a/src/cmp/cmplam.lsp
+++ b/src/cmp/cmplam.lsp
@@ -211,7 +211,7 @@
 	(push `(ignorable ,@is) declarations))
       (loop for (var . type) in ts
 	    unless (member var new-variable-names)
-	    do (push (list type var) declarations))
+	    do (push `(type ,type ,var) declarations))
       (setq body
 	    (cond (aux-vars
 		   (let ((let nil))