diff --git a/ivette/src/frama-c/api_generator.ml b/ivette/src/frama-c/api_generator.ml
index 371495e164343380571b7490cc496fffbb2b4302..b72055204a8002d9e3778a336fd422f14d2f6e69 100644
--- a/ivette/src/frama-c/api_generator.ml
+++ b/ivette/src/frama-c/api_generator.ml
@@ -349,8 +349,9 @@ let makeDeclaration fmt names d =
     Format.fprintf fmt "  name:   '%s',@\n" (Pkg.name_of_ident d.d_ident) ;
     Format.fprintf fmt "  input:  %a,@\n" makeParam input ;
     Format.fprintf fmt "  output: %a,@\n" makeParam output ;
-    Format.fprintf fmt "  signals: [%a],@\n"
-      (Pretty_utils.pp_list ~pre:"@[<hov 2>[ " ~sep:",@ " ~suf:"@ ]@]"
+    Format.fprintf fmt "  signals: %a,@\n"
+      (Pretty_utils.pp_list
+         ~empty:"[]" ~pre:"@[<hov 2>[ " ~sep:",@ " ~suf:"@ ]@]"
          (fun fmt s -> Format.fprintf fmt "{ name: '%s' }" s))
          rq.rq_signals;
     Format.fprintf fmt "};@\n" ;
diff --git a/ivette/src/frama-c/kernel/api/ast/index.ts b/ivette/src/frama-c/kernel/api/ast/index.ts
index 8e2a100ffc99bf3f1fda08e17c1b2f3a3180c181..b646c002db81aa1c7a8c56c68ebbe9ca403c6de7 100644
--- a/ivette/src/frama-c/kernel/api/ast/index.ts
+++ b/ivette/src/frama-c/kernel/api/ast/index.ts
@@ -478,7 +478,7 @@ const getInformations_internal: Server.GetRequest<
               title: Json.jFail(Json.jString,'String expected'),
               descr: jTextSafe,
             })),
-  signals: [[ { name: 'kernel.ast.getInformationsUpdate' } ]],
+  signals: [ { name: 'kernel.ast.getInformationsUpdate' } ],
 };
 /** Get available informations about markers. When no marker is given, returns all kinds of informations (with empty `descr` field). */
 export const getInformations: Server.GetRequest<