Thanks, @amarphule, the patch is merged with the dev branch.