future reference is now

Thanks to Pieter Belmams
http://stacks.math.columbia.edu/tag/06E9#comment-1656

examples.tex

@@ -2882,8 +2882,9 @@ \section{A non-separated group algebraic space over a field}
 More on Groupoids in Spaces, Lemma
 \ref{spaces-more-groupoids-lemma-group-scheme-over-field-separated}.
 Moreover, a finite type, separated group algebraic space over a
-field is in fact a scheme (insert future reference here). The idea
-of the proof is that the schematic locus is open dense, see
+field is in fact a scheme by More on Groupoids in Spaces, Lemma
+\ref{spaces-more-groupoids-lemma-group-space-scheme-locally-finite-type-over-k}.
+The idea of the proof is that the schematic locus is open dense, see
 Properties of Spaces, Proposition
 \ref{spaces-properties-proposition-locally-quasi-separated-open-dense-scheme}
 or