The fix is now merged in master as of commit bc549a276c. Thanks for investigating and fixing the issue! Closing, Maxim