diff --git a/docs/yap.tex b/docs/yap.tex
index 491d826c4..988bb7250 100644
--- a/docs/yap.tex
+++ b/docs/yap.tex
@@ -13529,6 +13529,7 @@ The following primitives are provided for verifying whether a term is
 a big int, creating a term from a big integer and to access the value
 of a big int from a term.
 @example
+      YAP_Bool YAP_IsBigNumTerm(YAP_Term @var{t})
       YAP_Term YAP_MkBigNumTerm(YAP_Int  @var{i})
       YAP_Int  YAP_BigNumOfTerm(YAP_Term @var{t})
 @end example