Fix git branch name some more