; Fix last change.

diff --git a/etc/DEBUG b/etc/DEBUG
index 290c01faf3ec6e38b1c19c3d55097cfceddce497..f66a8d5d5889ca2766a0b82c2e5427461860428f 100644 (file)
--- a/etc/DEBUG
+++ b/etc/DEBUG
@@ -612,7 +612,7 @@ recommend to follow the procedure below to try to identify the cause:
      (declare (speed 1))
 
    at the beginning of the body of suspected function(s) to change
-   native-comp-speed only for those functions -- this could help you
+   'native-comp-speed' only for those functions -- this could help you
    identify the function(s) which cause(s) the problem.
 
  . Reduce the problematic function(s) to the minimal code that still