In case your interested, the pull request was #2225