Should be `delete[]`