Minor tweak in grepdb.sh