diff --git a/src/sphinx/options.rst b/src/sphinx/options.rst
index 9a89e77a399c06d71c5f2ae19c3288a7449069bb..c5495f40a99086a3accddd87a7f74fc2769a99a1 100644
--- a/src/sphinx/options.rst
+++ b/src/sphinx/options.rst
@@ -42,7 +42,7 @@ These options are mutually exclusive. By default, ``--verify`` is chosen.
 
 * ``--inferInv`` 
 
-  Infer invariants from (instrumented) the code (using Orb)
+  Infer invariants from the (instrumented) code (using Orb)
 
 * ``--instrument``