No additional info provided. Proposed patch already merged. Feel free to reopen if you can still reproduce the issue. Thanks for reporting.