<div dir="ltr"><div class="gmail_extra">Yes, it should. That was a silly mistake, and should already have been fixed in trunk.</div></div>