diff --git a/collects/errortrace/doc.txt b/collects/errortrace/doc.txt
index 2a97da5afa..90512049f6 100644
--- a/collects/errortrace/doc.txt
+++ b/collects/errortrace/doc.txt
@@ -82,7 +82,7 @@ Profiling
 
 Errortrace's profiling instrumentation is off by default.  Enable
 profiling instrumentation with the `profiling-enabled' boolean
-parameter (but setting `instrumentation-enabled' to #f also disables
+parameter (but setting `instrumenting-enabled' to #f also disables
 profiling):
 
 > (profiling-enabled) - returns #t if profiling instrumentation is
@@ -184,7 +184,7 @@ profiling (when the expected counts are large).
 > (execute-counts-enabled  [on?])
   parameters that determine if the first (exact coverage) or second
   (profiler-based coverage) are enabled.  (Remember that setting
-  `instrumentation-enabled' to #f also disables both)
+  `instrumenting-enabled' to #f also disables both)
 
 > (get-coverage-counts)
 > (get-execute-counts)