diff --git a/misc/config_definitions.json b/misc/config_definitions.json
index 740fbefe99..45426128ee 100644
--- a/misc/config_definitions.json
+++ b/misc/config_definitions.json
@@ -4052,7 +4052,7 @@
         },
         "leaflet.default_zoom": {
             "default": 2,
-            "type": "integer"
+            "type": "float"
         },
         "leaflet.group_radius": {
             "default": 10,