This bug has been fixed.  OK to close, thanks.

Reply via email to