diff --git a/docs/yap.tex b/docs/yap.tex
index b3f44eba8..6dfbe9d4c 100644
--- a/docs/yap.tex
+++ b/docs/yap.tex
@@ -6001,7 +6001,7 @@ If @code{on} allow indexing (default), if @code{off} disable it.
 @findex informational_messages (yap_flag/2 option)
 @*
 If @code{on} allow printing of informational messages, such as the ones
-that are printed when consulting a fule. If @code{off} disable printing
+that are printed when consulting. If @code{off} disable printing
 these messages. It is @code{on} by default except if Yap is booted with
 the @code{-L} flag.