See comment on line 555