diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.c b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.c
index 2d0bff075be92ed60c3c7070c7bca7ab2f95701b..81f7901c8c6e66e4af814ee0791e377c6851ffe2 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.c
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.c
@@ -85,7 +85,7 @@ void trace() {
   char executable[PATH_MAX];
   rtl_sprintf(executable, "/proc/%d/exe", getpid());
 
-  STDOUT("/** Backtrace **************************/\n");
+  STDERR("/** Backtrace **************************/\n");
   int counter = 0;
   while (*bb) {
     char *addr = (char *)private_malloc(21);
@@ -99,18 +99,18 @@ void trace() {
       if (outs) {
         outs[strlen(outs) - 1] = '\0';
         if (strlen(outs) && endswith(outs, "??:0") && endswith(outs, "??:?")) {
-          STDOUT("%s%s\n", prefix, outs);
+          STDERR("%s%s\n", prefix, outs);
         }
       } else {
         char *errs = (char *)ipr->stderrs;
         if (errs) {
-          STDOUT("%s\n", errs);
+          STDERR("%s\n", errs);
         }
       }
     }
     bb++;
     counter++;
   }
-  STDOUT("/***************************************/\n");
+  STDERR("/***************************************/\n");
 #endif /* E_ACSL_OS_IS_LINUX */
 }