See my comment on line 45.