Thanks for reporting this bug and especially for creating the pull request. Now that it is merged, is there anything left to do here? If not, please close the bug yourself. TIA!