Fix a git mess up