See comment on line 39.