Minor fix to .git/config