diff --git a/src/plugins/aorai/aorai_metavariables.ml b/src/plugins/aorai/aorai_metavariables.ml
index 8ec42e7de622787922ca8b9c49da02e73ce962b2..8ac8b2c4bc01f78abe8575334d9083129b0539f5 100644
--- a/src/plugins/aorai/aorai_metavariables.ml
+++ b/src/plugins/aorai/aorai_metavariables.ml
@@ -106,7 +106,7 @@ struct
   let alarm (src,tr,dst) vars =
     Aorai_option.abort
       "The metavariables %a may not be initialized before the transition \
-       from %a to %a (%a)."
+       from %a to %a:@\n%a"
       pretty_set vars
       pretty_state src
       pretty_state dst
diff --git a/src/plugins/aorai/tests/ya/oracle/metavariables-wrong.res.oracle b/src/plugins/aorai/tests/ya/oracle/metavariables-wrong.res.oracle
index 6568609540bfc36565a872e6bfed4f80cbd9deed..7527ce29b7a87a028dce63c3682a8c78cf42b7ff 100644
--- a/src/plugins/aorai/tests/ya/oracle/metavariables-wrong.res.oracle
+++ b/src/plugins/aorai/tests/ya/oracle/metavariables-wrong.res.oracle
@@ -1,7 +1,7 @@
 [kernel] Parsing tests/aorai/metavariables-wrong.i (no preprocessing)
 [aorai] Welcome to the Aorai plugin
-[aorai] User Error: The metavariables aorai_x may not be initialized before the transition from e to f_0 (
+[aorai] User Error: The metavariables aorai_x may not be initialized before the transition from e to f_0:
   (Call(h))
   and
-  ((aorai_x) > (0))).
+  ((aorai_x) > (0))
 [kernel] Plug-in aorai aborted: invalid user input.