diff --git a/doc/ffi.xmlf b/doc/ffi.xmlf
index a79b06783..ebd34bd3e 100644
--- a/doc/ffi.xmlf
+++ b/doc/ffi.xmlf
@@ -480,7 +480,7 @@ Build and load this module with (compile-file "ecl.lsp" :load t)
 
     <para>Note that the conversion between lisp arguments and
     <acronym>FFI</acronym> types is automatic. Note also that
-    <function>et:c-inline</function> cannot be used in interpreted or
+    <function>ffi:c-inline</function> cannot be used in interpreted or
     bytecompiled code!</para>
    </refsect1>
 
diff --git a/src/lsp/ffi.lsp b/src/lsp/ffi.lsp
index 9dfd6e3ca..700763bea 100644
--- a/src/lsp/ffi.lsp
+++ b/src/lsp/ffi.lsp
@@ -669,7 +669,8 @@
   (defmacro c-inline (args arg-types ret-type &body others)
     `(error "The special form c-inline cannot be used in the interpreter: ~A"
       (list (list ,@args) ',arg-types ',ret-type ,@others)))
-  (defmacro c-progn (&rest body)
+  (defmacro c-progn (args &rest body)
+    (declare (ignore args))
     '(error "The special form c-progn cannot be used in the interpreter.")))
 
 (defmacro definline (fun arg-types type code)