Fixed git diff

Closes #836. Thanks for reporting !