diff --git a/docs/yap.tex b/docs/yap.tex
index f3f29c7ca..951574e55 100644
--- a/docs/yap.tex
+++ b/docs/yap.tex
@@ -8092,9 +8092,9 @@ reading terms. The default value for this flag is @code{off} except in
 @item debug [ISO]
 @findex debug (yap_flag/2 option)
 @*
-If @var{Value} is unbound, tell whether debugging is @code{on} or
-@code{off}. If @var{Value} is bound to @code{on} enable debugging, and if
-it is bound to @code{off} disable debugging.
+If @var{Value} is unbound, tell whether debugging is @code{true} or
+@code{false}. If @var{Value} is bound to @code{true} enable debugging, and if
+it is bound to @code{false} disable debugging.
 
 +@item debugger_print_options
 @findex debugger_print_options (yap_flag/2 option)
@@ -8517,6 +8517,13 @@ consulting files. If @code{false} disable printing these messages. It
 is @code{normal} by default except if YAP is booted with the @code{-L}
 flag.
 
+@item  verbose_load
+@findex verbose_load (yap_flag/2 option)
+@* If @code{true} allow printing of informational messages when
+consulting files. If @code{false} disable printing these messages. It
+is @code{normal} by default except if YAP is booted with the @code{-L}
+flag.
+
 @item version
 @findex version (yap_flag/2 option)
 @* Read-only flag that returns an atom with the current version of