diff --git a/kitty/options/definition.py b/kitty/options/definition.py
index 663424a7d..1594a6060 100644
--- a/kitty/options/definition.py
+++ b/kitty/options/definition.py
@@ -3181,7 +3181,7 @@ is supported. For example::
    menu_map global "Actions::Launch something special" launch --hold --type=os-window sh -c "echo hello world"
 
 This will create a menu entry named "Launch something special" in an "Actions" menu in the macOS global menubar.
-Sub-menus can be created by adding more levels separated by ::.
+Sub-menus can be created by adding more levels separated by the :code:`::` characters.
 '''
     )