diff --git a/src/model/paths.ml b/src/model/paths.ml
index 8c56851b6c..b2707cad61 100644
--- a/src/model/paths.ml
+++ b/src/model/paths.ml
@@ -78,6 +78,7 @@ module Identifier = struct
     | `Constructor (parent, _) -> is_internal (parent :> t)
     | `Field (parent, _) -> is_internal (parent :> t)
     | `Extension (parent, _) -> is_internal (parent :> t)
+    | `ExtensionDecl (parent, _, _) -> is_internal (parent :> t)
     | `Exception (parent, _) -> is_internal (parent :> t)
     | `CoreException _ -> false
     | `Value (_, name) -> ValueName.is_internal name
@@ -114,6 +115,8 @@ module Identifier = struct
         FieldName.to_string name :: full_name_aux (parent :> t)
     | `Extension (parent, name) ->
         ExtensionName.to_string name :: full_name_aux (parent :> t)
+    | `ExtensionDecl (parent, _, name) ->
+        ExtensionName.to_string name :: full_name_aux (parent :> t)
     | `Exception (parent, name) ->
         ExceptionName.to_string name :: full_name_aux (parent :> t)
     | `CoreException name -> [ ExceptionName.to_string name ]
diff --git a/src/search/json_index/json_search.ml b/src/search/json_index/json_search.ml
index 0516e5c97f..543550f6a9 100644
--- a/src/search/json_index/json_search.ml
+++ b/src/search/json_index/json_search.ml
@@ -56,6 +56,8 @@ let rec of_id x =
       ret "Field" (FieldName.to_string name) :: of_id (parent :> t)
   | `Extension (parent, name) ->
       ret "Extension" (ExtensionName.to_string name) :: of_id (parent :> t)
+  | `ExtensionDecl (parent, _, name) ->
+      ret "ExtensionDecl" (ExtensionName.to_string name) :: of_id (parent :> t)
   | `Exception (parent, name) ->
       ret "Exception" (ExceptionName.to_string name) :: of_id (parent :> t)
   | `CoreException name ->