See comment on line 49