@Anders Kaseorg: Thank you for your work on the patch, unfortunately by the time I saw this bug, I had that fixed already.
@Anders Kaseorg: Thank you for your work on the patch, unfortunately by the time I saw this bug, I had that fixed already.