Another instance of what I mentioned above occurs here.