See comment for line 99.