diff --git a/doc/cabal-commands.rst b/doc/cabal-commands.rst
index 4be8c3070d9..82d097d0ee1 100644
--- a/doc/cabal-commands.rst
+++ b/doc/cabal-commands.rst
@@ -1060,7 +1060,7 @@ Examples:
 Configuration flags can be specified on the command line and these extend the project
 configuration from the 'cabal.project', 'cabal.project.local' and other files.
 
-.. option:: --repl-options=FLAG
+.. option:: --repl-options=OPTS
 
     To avoid ``ghci``-specific flags from triggering unneeded global rebuilds, these
     flags are stripped from the internal configuration when using