Fix a malloc/delete mismatch introduced in commit 8a9ce57.