With the above notation, let $p\in X^{{\text{\rm an}}}_{{\text{\rm alg}}}$. Let $\widetilde{p}$ as in (2.20). This is a closed algebraic curve. Let $s$ be a local section of $L$ defined at $p$ and such that $s(p)\not=0$. Then