diff --git a/src/plugins/builtin/options.ml b/src/plugins/builtin/options.ml
index e21d5a74fb8e10aa90b15e7e7032be624ac505c3..f4e7e8b813bf69bd8c326f487e4ce3366d1db98f 100644
--- a/src/plugins/builtin/options.ml
+++ b/src/plugins/builtin/options.ml
@@ -26,7 +26,7 @@ let shortname = "builtin"
 include Plugin.Register
     (struct
       let name = name
-      let shortname = "-" ^ shortname
+      let shortname = shortname
       let help = "Overrides standard library functions"
     end)