correct documentation for git grep