Undoing bad merge