Use delete[] instead of delete.  Fixes Coverity 1047228.