diff --git a/backends/verilog/verilog_backend.cc b/backends/verilog/verilog_backend.cc
index 28bc902bd..8efc443df 100644
--- a/backends/verilog/verilog_backend.cc
+++ b/backends/verilog/verilog_backend.cc
@@ -2420,7 +2420,7 @@ struct VerilogBackend : public Backend {
 		log("\n");
 		log("    -noattr\n");
 		log("        with this option no attributes are included in the output\n");
-		log("    -onlysrcattr\n");
+		log("    -srcattronly\n");
 		log("        with this option only src attributes are included in the output\n");
 		log("\n");
 		log("    -attr2comment\n");