--- a/src/doc/user/usermanual.xml
+++ b/src/doc/user/usermanual.xml
@@ -997,10 +997,10 @@
<filename>$HOME/Downloads</filename> in the browser
preferences.</para></note>
- <para>The visited WEB pages indexing feature can be enabled in the
- GUI <guilabel>Index configuration</guilabel> panel, or by editing the
- configuration file (set <varname>processwebqueue</varname> to
- 1).</para>
+ <para>The visited WEB pages indexing feature can be enabled on the
+ &RCL; side from the GUI <guilabel>Index configuration</guilabel>
+ panel, or by editing the configuration file (set
+ <varname>processwebqueue</varname> to 1).</para>
<para>A current pointer to the extension can be found, along with
up-to-date instructions, on the