diff --git a/collects/compiler/sig.ss b/collects/compiler/sig.ss
index 426dc6ee28..ed1350d5d6 100644
--- a/collects/compiler/sig.ss
+++ b/collects/compiler/sig.ss
@@ -9,7 +9,9 @@
 
 ;; Compiler options
 (define-signature compiler:option^
-  (verbose ; default = #f
+  (somewhat-verbose ; default = #f
+   verbose ; default = #f
+   
 
    setup-prefix ; string to embed in public names;
                 ; used mainly for compiling extensions