diff --git a/docs/configure.rst b/docs/configure.rst
index 3b1ff68b4e..77f8a11061 100644
--- a/docs/configure.rst
+++ b/docs/configure.rst
@@ -427,7 +427,7 @@ Currently, ReFrame supports auto-detection of the local or remote processor info
 It does not support auto-detection of devices, in which cases users should explicitly specify this information using the |devices|_ configuration option.
 The processor information auto-detection works as follows:
 
-#. If the |processor|_ configuration is option is defined, then no auto-detection is attempted.
+#. If the |processor|_ configuration option is defined, then no auto-detection is attempted.
 
 #. If the |processor|_ configuration option is not defined, ReFrame will look for a processor configuration metadata file in ``~/.reframe/topology/{system}-{part}/processor.json``.
    If the file is found, the topology information is loaded from there.