diff --git a/mps/manual/source/pool/mvff.rst b/mps/manual/source/pool/mvff.rst
index 2fc57c59c66..c7f358abcdb 100644
--- a/mps/manual/source/pool/mvff.rst
+++ b/mps/manual/source/pool/mvff.rst
@@ -202,7 +202,7 @@ MVFF interface
       :c:macro:`MPS_KEY_MVFF_SLOT_HIGH`, and
       :c:macro:`MPS_KEY_MVFF_FIRST_FIT` are as described above, and
       :c:macro:`MPS_KEY_POOL_DEBUG_OPTIONS` specifies the debugging
-      :c:options. See :c:type:`mps_debug_option_s`.
+      options. See :c:type:`mps_debug_option_s`.
 
     .. deprecated:: starting with version 1.112.