<div dir="ltr"><div class="gmail_extra">I agree this should be considered a simple bug. Have you filed a bug report?</div><div class="gmail_extra"><br></div><div class="gmail_extra">Nevin</div></div>