See comment on line 416