Hi <span class="Apple-style-span" style="font-family: monospace; white-space: pre; font-size: medium; ">Jonathan,</span><div><meta http-equiv="content-type" content="text/html; charset=utf-8"><span class="Apple-style-span" style="font-family: 'Times New Roman'; font-size: medium; "><pre>
Yes. It indeed is PR10087. Both fixes worked.</pre><pre>Thanks!</pre><pre>Ryuta</pre></span></div>