diff --git a/kitty/options/definition.py b/kitty/options/definition.py
index 585d39425..7ba13c0b8 100644
--- a/kitty/options/definition.py
+++ b/kitty/options/definition.py
@@ -4183,7 +4183,7 @@
 
     map kitty_mod+f6 change_font_size current 10.0
 
-To setup shortcuts to multiply/divide the font size:
+To setup shortcuts to multiply/divide the font size::
 
     map kitty_mod+f6 change_font_size all *2.0
     map kitty_mod+f6 change_font_size all /2.0