What's up with this commented delete[]? If we don't need it, can you remove it from the patch?