Fixed a mismatched new char[]/delete, detected by Valgrind on Linux. No memory leaks were possible as the correct destructor was called, but it avoid spurious warnings.