1 files changed, 6 insertions, 3 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index 8c9b14f6..80650513 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -4181,10 +4181,13 @@ representation of the program.
 @cindex @option{-S} option
 @cindex @option{--sandbox} option
 @cindex sandbox mode
+@cindex @code{ARGV} array
 Disable the @code{system()} function,
 input redirections with @code{getline},
 output redirections with @code{print} and @code{printf},
 and dynamic extensions.
+Also, disallow adding filenames to @code{ARGV} that were
+not there when @command{gawk} started running.
 This is particularly useful when you want to run @command{awk} scripts
 from questionable sources and need to make sure the scripts
 can't access your system (other than the specified input @value{DF}).
@@ -17274,7 +17277,7 @@ sequences of random numbers.  However, nothing requires that an
 considerably better than @code{rand()}, to produce random numbers.
 From @value{PVERSION} 4.1.4, courtesy of Nelson H.F.@: Beebe, @command{gawk}
 uses the Bayes-Durham shuffle buffer algorithm which considerably extends
-the period the random number generator, and eliminates short-range and
+the period of the random number generator, and eliminates short-range and
 long-range correlations that might exist in the original generator.}
 
 Often random integers are needed instead.  Following is a user-defined function
@@ -28421,7 +28424,7 @@ When called this way, @command{gawk} ``pretty-prints'' the program into
 
 @quotation NOTE
 Once upon a time, the @option{--pretty-print} option would also run
-your program.  This is is no longer the case.
+your program.  This is no longer the case.
 @end quotation
 
 @cindex profiling, pretty-printing, difference with
@@ -38928,7 +38931,7 @@ Anders Wallin helped keep the VMS port going for several years.
 
 @item
 @cindex Gordon, Assaf
-Assaf Gordon contributed the code to implement the
+Assaf Gordon contributed the initial code to implement the
 @option{--sandbox} option.
 
 @item