fix typo with set-git-val.bash