I pushed a patch in master branch: 89642d3

Can you test with it and see if it is solved?

—
Reply to this email directly or view it on GitHub.