Fix arena deletion