diff --git a/docs/tracing.txt b/docs/tracing.txt
index a92716f319e75e8c0f7a1d23402e36619ccc9ac9..c54113336896a688b29f611f29ffddd84dd28571 100644
--- a/docs/tracing.txt
+++ b/docs/tracing.txt
@@ -9,7 +9,7 @@ for debugging, profiling, and observing execution.
 
 1. Build with the 'simple' trace backend:
 
-    ./configure --trace-backend=simple
+    ./configure --enable-trace-backend=simple
     make
 
 2. Create a file with the events you want to trace: