diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index a051724d1c8..8f550265bd9 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -3457,7 +3457,8 @@ ANY num_sync (