diff --git a/web/src/settings_components.ts b/web/src/settings_components.ts
index b69bdc636b..8ba73ce3d4 100644
--- a/web/src/settings_components.ts
+++ b/web/src/settings_components.ts
@@ -658,7 +658,9 @@ function get_input_type($input_elem: JQuery, input_type?: string): string {
     if (input_type !== undefined && ["boolean", "string", "number"].includes(input_type)) {
         return input_type;
     }
-    return $input_elem.data("setting-widget-type");
+    input_type = $input_elem.attr("data-setting-widget-type");
+    assert(input_type !== undefined);
+    return input_type;
 }
 
 export function get_input_element_value(