Changed. Since this PR was already merged, I just made the change in a new branch and merged it in to master. Given the small size of the change (this and the comment one above) it felt easiest :).