Fixing repository corruption by hand :(