diff --git a/bin/common_finput.cc b/bin/common_finput.cc
index d1754d6ee..8df1fb028 100644
--- a/bin/common_finput.cc
+++ b/bin/common_finput.cc
@@ -37,16 +37,16 @@ static bool lenient = false;
 static const argp_option options[] =
   {
     { nullptr, 0, nullptr, 0, "Input options:", 1 },
-    { "formula", 'f', "STRING", 0, "process the formula STRING", 0 },
+    { "formula", 'f', "STRING", 0, "process the formula STRING", 1 },
     { "file", 'F', "FILENAME[/COL]", 0,
       "process each line of FILENAME as a formula; if COL is a "
       "positive integer, assume a CSV file and read column COL; use "
-      "a negative COL to drop the first line of the CSV file", 0 },
+      "a negative COL to drop the first line of the CSV file", 1 },
     { "lbt-input", OPT_LBT, nullptr, 0,
-      "read all formulas using LBT's prefix syntax", 0 },
+      "read all formulas using LBT's prefix syntax", 1 },
     { "lenient", OPT_LENIENT, nullptr, 0,
       "parenthesized blocks that cannot be parsed as subformulas "
-      "are considered as atomic properties", 0 },
+      "are considered as atomic properties", 1 },
     { nullptr, 0, nullptr, 0, nullptr, 0 }
   };