Note that we can ensure that $\mathfrak{X}^{\prime\prime}$ is admissible and hence a formal model by performing base change to the completion of an algebraic closure of $K$ (see Construction 2.6) which will be enough for our purposes.