Fixed git diff
Closes #836. Thanks for reporting !
Merge pull request #838 from AltGr/git-pin

Fixed git diff