See comment to line 74.