WINTERMUTE: Correct a delete/delete[]-mismatch pointed out by valgrind