fixed a minor bug in git-prompt.bash