<div dir="ltr"><div class="gmail_default" style="font-size:large">Slip-up in the mail lists.</div><div class="gmail_default" style="font-size:large"><br></div><div class="gmail_default" style="font-size:large">Bernard.</div></div>