See comment on line 68.