fixing a git bug