OK, I will push new commits to the pull request that should take care of that issue.