diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt
index d387ac0c3..919cd847d 100644
--- a/infer/man/man1/infer-full.txt
+++ b/infer/man/man1/infer-full.txt
@@ -1165,9 +1165,9 @@ INTERNAL OPTIONS
        --icfg-dotty-outfile-reset
            Cancel the effect of --icfg-dotty-outfile.
 
-       --no-ignore-trivial-traces
-           Deactivates: Ignore traces whose length is at most 1 (Conversely:
-           --ignore-trivial-traces)
+       --ignore-trivial-traces
+           Activates: Ignore traces whose length is at most 1 (Conversely:
+           --no-ignore-trivial-traces)
 
        --invariant-by-default
            Activates: [Cost]Consider functions to be invariant by default
diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml
index fefd6afb5..7c5ef88e7 100644
--- a/infer/src/base/Config.ml
+++ b/infer/src/base/Config.ml
@@ -1406,7 +1406,7 @@ and icfg_dotty_outfile =
 
 
 and ignore_trivial_traces =
-  CLOpt.mk_bool ~long:"ignore-trivial-traces" ~default:true
+  CLOpt.mk_bool ~long:"ignore-trivial-traces" ~default:false
     "Ignore traces whose length is at most 1"