diff --git a/C/exo_udi.c b/C/exo_udi.c
index 552552379..7bee23d3f 100644
--- a/C/exo_udi.c
+++ b/C/exo_udi.c
@@ -72,7 +72,7 @@ IntervalUDIRefitIndex(struct index_t **ip, UInt b[] USES_REGS)
   /* no constraints, nothing to gain */
   if (!IsAttVar(VarOfTerm(XREGS[i+1]))) return;
   /* be conservative */
-  sz = sizeof(BITS32)*(it->ntrys+it->nentries*2);
+  sz = sizeof(BITS32)*(it->ntrys+it->nentries);
   /* allocate space */
   if (!(it->udi_data = malloc(sz)))
     return;
diff --git a/C/stdpreds.c b/C/stdpreds.c
index b45a8f893..80bf89274 100644
--- a/C/stdpreds.c
+++ b/C/stdpreds.c
@@ -4285,8 +4285,7 @@ Yap_InitCPreds(void)
   Yap_InitMYDDAS_TopLevelPreds();
 #endif
   Yap_udi_init();
-  Yap_udi_range_init();
-
+  Yap_udi_Interval_init();
   Yap_InitSignalCPreds();
   Yap_InitUserCPreds();
   Yap_InitUtilCPreds();
diff --git a/H/Yapproto.h b/H/Yapproto.h
index 79e8ab4d4..8d3b2233f 100644
--- a/H/Yapproto.h
+++ b/H/Yapproto.h
@@ -186,7 +186,7 @@ void	STD_PROTO(Yap_PrepGoal,(UInt, CELL *, choiceptr USES_REGS));
 
 /* exo.c */
 void	STD_PROTO(Yap_InitExoPreds,(void));
-void    Yap_udi_range_init(void);
+void    Yap_udi_Interval_init(void);
 
 /* foreign.c */
 char   *STD_PROTO(Yap_FindExecutable,(void));