diff --git a/index.html b/index.html
index 5c645a0..dc097ee 100644
--- a/index.html
+++ b/index.html
@@ -193,7 +193,11 @@
                 return response.json();
             })
             .then(function(jsonResponse) {
-                defs = jsonResponse;
+                if (Object.keys(jsonResponse).length == 1 && jsonResponse.result) {
+                  defs = jsonResponse.result
+                } else {
+                  defs = jsonResponse;
+                }
                 process_defs();
             }).catch(e=>{
                 console.log(e);