Universal covering spaces, a footnote

We give a short proof that, for nice $X$, the based fundamental groupoid of $X$ with topology induced by the compact open topology on the space of paths, is indeed the universal covering space of $X$.