diff --git a/src/doc/user/usermanual.html b/src/doc/user/usermanual.html
index 98d29f13..dea2e342 100644
--- a/src/doc/user/usermanual.html
+++ b/src/doc/user/usermanual.html
@@ -8237,12 +8237,12 @@ for i in range(nres):
"RCL.INSTALL.CONFIG.RECOLLCONF.MONITORDIRS" id=
"RCL.INSTALL.CONFIG.RECOLLCONF.MONITORDIRS">monitordirs
(1.24) Space-separated list of files or - directories to monitor for updates. When running - the real-time indexer, this allows monitoring - only a subset of the whole indexed area. The - elements must be included in the tree defined by - the 'topdirs' members.
+Space-separated list of files or directories + to monitor for updates. When running the + real-time indexer, this allows monitoring only a + subset of the whole indexed area. The elements + must be included in the tree defined by the + 'topdirs' members.
nowalkfnFile name which will cause its parent + directory to be skipped. Any directory containing + a file with this name will be skipped as if it + was part of the skippedPaths list. Ex: + .recoll-noindex
+