Fix "git log --diff-filter" bug