See line 1475.