Minor tweak to git-prompt.bash