grep.py 0.7.3: Fix typo