See comment for line 72.