gnupg.bash: minor edit