diff --git a/C/mavar.c b/C/mavar.c
index dc0b03ba6..01472156a 100644
--- a/C/mavar.c
+++ b/C/mavar.c
@@ -149,7 +149,7 @@ Term UpdateTimedVar(Term inv, Term new)
 
   if (B->cp_h <= timestmp
 #if defined(SBA) || defined(TABLING)
-      && timestmp <= (CELL)H
+      && timestmp <= H
 #endif
       ) {
     /* last assignment more recent than last B */
@@ -160,11 +160,6 @@ Term UpdateTimedVar(Term inv, Term new)
     else
 #endif
       tv->value = new;
-#if defined(SBA) || defined(TABLING)
-    if (Unsigned((Int)(tv)-(Int)(HBREG)) >
-      Unsigned(BBREG)-(Int)(HBREG))
-    TrailVal(timestmp-1) = new;
-#endif    
   } else {
     Term nclock = (Term)H;
     MaBind(&(tv->value), new);