diff --git a/src/kernel_internals/typing/cabs2cil.ml b/src/kernel_internals/typing/cabs2cil.ml
index d797b501c14997fe7e4e37b9ec7721a4be551aa3..209aed920b7b55df2f804b9f84f17bb8bbf17ab4 100644
--- a/src/kernel_internals/typing/cabs2cil.ml
+++ b/src/kernel_internals/typing/cabs2cil.ml
@@ -5995,7 +5995,8 @@ and doExp local_env
       let res =
         if Cil.isCompleteType typ then new_exp ~loc (SizeOf typ)
         else begin
-          Kernel.error ~once:true ~current:true "sizeof on incomplete type";
+          Kernel.error ~once:true ~current:true
+            "sizeof on incomplete type '%a'" Cil_printer.pp_typ typ;
           new_exp ~loc (Const (CStr ("booo sizeof(incomplete)")))
         end
       in
diff --git a/tests/syntax/oracle/sizeof_incomplete_type.res.oracle b/tests/syntax/oracle/sizeof_incomplete_type.res.oracle
index 861a044c35515cb6bbc08d712471e57789843deb..37dab603578cf0871a5a4db6574b22f76161a385 100644
--- a/tests/syntax/oracle/sizeof_incomplete_type.res.oracle
+++ b/tests/syntax/oracle/sizeof_incomplete_type.res.oracle
@@ -1,6 +1,6 @@
 [kernel] Parsing tests/syntax/sizeof_incomplete_type.c (with preprocessing)
 [kernel] tests/syntax/sizeof_incomplete_type.c:21: User Error: 
-  sizeof on incomplete type
+  sizeof on incomplete type 'struct inexistent'
 [kernel] User Error: stopping on file "tests/syntax/sizeof_incomplete_type.c" that has errors. Add
   '-kernel-msg-key pp' for preprocessing command.
 [kernel] Frama-C aborted: invalid user input.