res.append("<dt><b>" + person.prettyName() + "</b></dt><dd>");
if (!person.emailAddress().isEmpty())
res.append("<a href=\"mailto:" + person.emailAddress() + "\">" + person.emailAddress() + "</a><br>");
res.append("<dt><b>" + person.prettyName() + "</b></dt><dd>");
if (!person.emailAddress().isEmpty())
res.append("<a href=\"mailto:" + person.emailAddress() + "\">" + person.emailAddress() + "</a><br>");