This bug is fixed in version 4.16, now available on my web site.

Reply via email to