diff --git a/docs/source/user/options.rst b/docs/source/user/options.rst
index 8bf7e33..30bb333 100644
--- a/docs/source/user/options.rst
+++ b/docs/source/user/options.rst
@@ -825,9 +825,6 @@ Options and their Descriptions
         enable-extensions =
             H111,
             G123
-        enable_extensions =
-            H111,
-            G123
 
 
 .. option:: --exit-zero