Small fix in gitconfig