Semi-local simple connectedness of non-collapsing Ricci limit spaces

Let $X$ be a non-collapsing Ricci limit space and let $x\in X$. We show that for any $\epsilon>0$, there is $r>0$ such that every loop in $B_t(x)$ is contractible in $B_{(1+\epsilon)t}(x)$, where $t\in(0,r]$. In particular, $X$ is semi-locally simply connected.
Comment: Slightly modified the proof of Theorem 3.5 to fix a minor error on local covers. Slightly modified the proofs of Lemmas 3.2, 3.6, and 3.8 to fix a minor error on estimating $\rho(t,x)$ by a nearby point. Fixed some typos