See comment on line 294