You are correct, and I see the issue. Let me fix it and try to work out how to update the pull request.