diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 5b2be4c33..c5764ba2c 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -2094,7 +2094,7 @@ print Boogie program after it has been instrumented with
                 do not verify layers <n> and below
   /trustLayersDownto:<n>
                 do not verify layers <n> and above
-  /CivlDesugaredFile:<file>
+  /civlDesugaredFile:<file>
                 print plain Boogie program to <file>
 
   ---- Verification-condition generation options -----------------------------