Indeed, let me fix that and make a new pull request.