diff --git a/debugging/ticky-ticky.md b/debugging/ticky-ticky.md
index ab7e1b08ac2458d412a304d5045f04acd77c5471..43f622a86b81fb888d7ce37cf2f016d547f017f0 100644
--- a/debugging/ticky-ticky.md
+++ b/debugging/ticky-ticky.md
@@ -97,7 +97,15 @@ Two flags enable LNE and dynamically allocated thunks to be tracked by name-spec
 ## Generating the ticky report
 
 
-Any GHC executable linked with `-rtsopts` will generate a ticky-ticky profiling report if provided the `-r` RTS option. This report includes all global counters as well as the name-specific counters for those names with at least one interesting counter value. If a named thing was never allocated and (hence) never entered, its counters will not be in the ticky report.
+Any GHC executable linked with `-rtsopts` will generate a ticky-ticky profiling report if provided the `-r` RTS option.  Thus
+
+```wiki
+$ ghc -ticky -rtsopts Main.hs -o main
+$ ./main +RTS -rmain.ticky
+```
+
+
+This report includes all global counters as well as the name-specific counters for those names with at least one interesting counter value. If a named thing was never allocated and (hence) never entered, its counters will not be in the ticky report.
 
 
 Below is an excerpt from a ticky report. The executable was compiled with all of the extensions above.
diff --git a/debugging/ticky-ticky.trac b/debugging/ticky-ticky.trac
index 1a13067104501bc668a2d45ccca0b78ef9e7f59e..27400d233e3a0bf0a15be338ec61946e10b42826 100644
--- a/debugging/ticky-ticky.trac
+++ b/debugging/ticky-ticky.trac
@@ -73,7 +73,12 @@ Two flags enable LNE and dynamically allocated thunks to be tracked by name-spec
 
 == Generating the ticky report ==
 
-Any GHC executable linked with `-rtsopts` will generate a ticky-ticky profiling report if provided the `-r` RTS option. This report includes all global counters as well as the name-specific counters for those names with at least one interesting counter value. If a named thing was never allocated and (hence) never entered, its counters will not be in the ticky report.
+Any GHC executable linked with `-rtsopts` will generate a ticky-ticky profiling report if provided the `-r` RTS option.  Thus
+{{{
+$ ghc -ticky -rtsopts Main.hs -o main
+$ ./main +RTS -rmain.ticky
+}}}
+This report includes all global counters as well as the name-specific counters for those names with at least one interesting counter value. If a named thing was never allocated and (hence) never entered, its counters will not be in the ticky report.
 
 Below is an excerpt from a ticky report. The executable was compiled with all of the extensions above.