fix a bug with the -t option of obgrep