Fix a git glitch.