Fix erroneous ';' in jrep.cc