That looks like a duplicate of the above (see line 385).