see comment on line 435