tries to fix a git problem