Patch attached, and fix committed to trunk.
Karl
On Wed, Jun 20, 2018 at 8:32 PM Karl Wright <[EMAIL PROTECTED]> wrote: