To clarify - that's a different issue, and doesn't affect my review of this pull request.