Cool. Now that I screwed up the pull request, feel free to make that change, or once you think the PR is okay, I can make it the change and do a new PR.