--- repl-modules.texi.~1.3.~	2002-09-25 10:06:38.000000000 +1000
+++ repl-modules.texi	2003-05-10 14:52:41.000000000 +1000
@@ -25,6 +25,7 @@
 The module is not loaded by default and so has to be loaded and
 activated explicitly.  This is done with two simple lines of code:
 
address@hidden activate-readline
 @lisp
 (use-modules (ice-9 readline))
 (activate-readline)
@@ -70,6 +71,10 @@
 module's options interface, in a similar way to the evaluator and
 debugging options (@pxref{User level options interfaces}.)
 
address@hidden readline-options
address@hidden readline-enable
address@hidden readline-disable
address@hidden readline-set!
 Here is the list of readline options generated by typing
 @code{(readline-options 'full)} in Guile.  You can also see the
 default values.