diff --git a/src/goto-diff/goto_diff_parse_options.cpp b/src/goto-diff/goto_diff_parse_options.cpp
index 71a7c29db1a..3dcc59b7eaa 100644
--- a/src/goto-diff/goto_diff_parse_options.cpp
+++ b/src/goto-diff/goto_diff_parse_options.cpp
@@ -247,6 +247,7 @@ void goto_diff_parse_optionst::help()
     " --version                    show version and exit\n"
     " --json-ui                    use JSON-formatted output\n"
     HELP_FLUSH
+    " --verbosity #                verbosity level\n"
     HELP_TIMESTAMP
     "\n";
   // clang-format on