minor fix for git prompt