diff --git a/docs/CompiledPrograms.xml b/docs/CompiledPrograms.xml
index c440201eb..e4b9bd1e6 100644
--- a/docs/CompiledPrograms.xml
+++ b/docs/CompiledPrograms.xml
@@ -15,7 +15,7 @@
- 2006-06-08
+ 2006-06-10
2006
@@ -206,7 +206,7 @@
It points to
- /usr/share/shorewall/shorewall is the full
+ /usr/share/shorewall/shorewall if the full
Shorewall package is to be used.
diff --git a/tools/build/makeshorewall b/tools/build/makeshorewall
index cdeaf3401..8fe16d061 100755
--- a/tools/build/makeshorewall
+++ b/tools/build/makeshorewall
@@ -59,7 +59,7 @@ DIR=$PWD
#
# location and options for GnuPG
#
-GPG="/usr/bin/gpg -ab --no-use-agent --comment 'To verify this, you can download our public key at https://lists.shorewall.net/shorewall.gpg.key'"
+GPG="/usr/bin/gpg -ab --batch --comment 'To verify this, you can download our public key at https://lists.shorewall.net/shorewall.gpg.key'"
################################################################################
# V A R I A B L E S
################################################################################