Update grep.py