No, this is correct. The end ) is added at line 445.