diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 9261e7f77a..0ad838345a 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -6416,7 +6416,7 @@ SET XML OPTION { DOCUMENT | CONTENT }; This variable specifies one or more shared libraries to be preloaded at - server start. with commas. This parameter can only be set at server + server start. This parameter can only be set at server start. If a specified library is not found, the server will fail to start.