Nevermind, I see it is line 9 in this PR. Deleting this comment...