The patch has been submitted as a pull request.