See comment for line 47.