bugfix, extra ';' caused xrefvalues to be wrongly processed and
rendered.