diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index 3b46ef7..b7e52df 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -31438,11 +31438,14 @@ BEGIN @{
     if (! adequate_math_precision(fpbits)) @{
         print("Error: insufficient computation precision available.\n" \
               "Try again with the -M argument?") > "/dev/stderr"
+        # Note: you may need to set a flag here to bail out of @code{END} rules
         exit 1
     @}
 @}
 @end example
 
+Please be aware that @code{exit} will jump to the @code{END} rules, if present (@pxref{Exit Statement}).
+
 @node POSIX Floating Point Problems
 @section Standards Versus Existing Practice