gzip: minor zgrep cleanup