  For families of smooth complex projective varieties we show that normal
functions arising from algebraically trivial cycle classes are algebraic, and
defined over the field of definition of the family. In particular, the zero
loci of those functions are algebraic and defined over such a field of
definition. This proves a conjecture of Charles.
