On Fri, 2016-08-26 at 22:28 +0000, Thomas Green wrote:
Sorry to follow up my own post, but as no one answered, I am
attaching my own proposed fix. If this looks ok, let me know.
Thanks for the patch, now I have a decent idea what the bug might be