Under the hypotheses above, we assume that resolution of singularities holds over $k$ in dimension $d+n$. Then the semipositive envelope ${P}({\|\ \|})$ of a continuous metric ${\|\ \|}$ on $L^{{\mathrm{an}}}$ is a continuous semipositive metric on $L^{{\mathrm{an}}}$.