Avoid undefined behavior: delete twice