See comment on line 713.