diff --git a/src/cmp/proclamations.lsp b/src/cmp/proclamations.lsp
index c73ad31ea..62a569924 100644
--- a/src/cmp/proclamations.lsp
+++ b/src/cmp/proclamations.lsp
@@ -329,7 +329,7 @@
 ;; (proclamation restart-name (restart) t)
 
 ;; ECL extensions
-(proclamation ext:catch-signal (fixnum gen-bool) null)
+(proclamation ext:catch-signal (fixnum gen-bool &key) null)
 
 ;;;
 ;;; 10. SYMBOLS