diff --git a/extra/tools/time/time-docs.factor b/extra/tools/time/time-docs.factor
old mode 100644
new mode 100755
index 5fedba1700..fe3d709f78
--- a/extra/tools/time/time-docs.factor
+++ b/extra/tools/time/time-docs.factor
@@ -16,7 +16,7 @@ ABOUT: "timing"
 HELP: benchmark
 { $values { "quot" "a quotation" }
           { "runtime" "an integer denoting milliseconds" } }
-{ $description "Runs a quotation, measuring the total wall clock time and the total time spent in the garbage collector." }
+      { $description "Runs a quotation, measuring the total wall clock time." }
 { $notes "A nicer word for interactive use is " { $link time } "." } ;
 
 HELP: time