diff --git a/docs/src/tutorial-first-steps.md b/docs/src/tutorial-first-steps.md
index c6d5cbf306c1..57e70edb96dd 100644
--- a/docs/src/tutorial-first-steps.md
+++ b/docs/src/tutorial-first-steps.md
@@ -66,7 +66,7 @@ A trace is a record of exactly how execution proceeded, including concrete choic
 To get a trace for a failing check in Kani, run:
 
 ```
-cargo kani --visualize
+cargo kani --visualize --enable-unstable
 ```
 
 This command runs Kani and generates an HTML report that includes a trace.