Closing after Vicente's patch. If still an issue, re-open.

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