Cleaning up local repo screw-up