See comment on line 177.