diff -ruN ../orig/doc/src/sgml/runtime.sgml doc/src/sgml/runtime.sgml
--- ../orig/doc/src/sgml/runtime.sgml	2002-07-17 18:26:59.000000000 +0200
+++ doc/src/sgml/runtime.sgml	2002-08-29 12:55:57.000000000 +0200
@@ -1589,7 +1589,7 @@
       <listitem>
        <para>
         Aborts any statement that takes over the specified number of
-        microseconds.  A value of zero turns off the timer.
+        milliseconds.  A value of zero turns off the timer.
        </para>
       </listitem>
      </varlistentry>