diff --git a/C/c_interface.c b/C/c_interface.c
index 4f92cb40e..a7dd88abb 100644
--- a/C/c_interface.c
+++ b/C/c_interface.c
@@ -10,8 +10,11 @@
 * File:		c_interface.c						 *
 * comments:	c_interface primitives definition 			 *
 *									 *
-* Last rev:	$Date: 2007-10-29 22:48:54 $,$Author: vsc $						 *
+* Last rev:	$Date: 2007-11-01 20:50:31 $,$Author: vsc $						 *
 * $Log: not supported by cvs2svn $
+* Revision 1.101  2007/10/29 22:48:54  vsc
+* small fixes
+*
 * Revision 1.100  2007/10/28 00:54:09  vsc
 * new version of viterbi implementation
 * fix all:atvars reporting bad info
@@ -1311,13 +1314,18 @@ YAP_LeaveGoal(int backtrack, YAP_dogoalinfo *dgi)
   choiceptr myB;
 
   myB = (choiceptr)(LCL0-dgi->b);
-  if (B >= myB) {
+  if (B > myB) {
+    /* someone cut us */
     return FALSE;
   }
+  /* prune away choicepoints */
+  if (B != myB) {
 #ifdef YAPOR
-  CUT_prune_to(myB);
+    CUT_prune_to(myB);
 #endif
-  B = myB;
+    B = myB;
+  }
+  /* if backtracking asked for, recover space and bindings */
   if (backtrack) {
     P = FAILCODE;
     Yap_exec_absmi(TRUE);
diff --git a/changes-5.1.html b/changes-5.1.html
index cb51121c5..69840a3ce 100644
--- a/changes-5.1.html
+++ b/changes-5.1.html
@@ -17,6 +17,8 @@
 
 <h2>Yap-5.1.3:</h2>
 <ul>
+<li> FIXED: YAP_LeaveGoal should always backtrack, if asked for, for
+  deterministic computations (obs from Trevor Walker).</li>
 <li> FIXED: in_this_file_before should check predicate module, not
   current module.</li>
 <li> FIXED: overflow when copying constraints.</li>
diff --git a/distribute b/distribute
index 89668ff9c..8d136e6e3 100755
--- a/distribute
+++ b/distribute
@@ -1,7 +1,7 @@
 #/bin/bash
 # Guess what: this code works for me!
 
-version="Yap-5.1.2"
+version="Yap-5.1.3"
 splat
 cd C
 splat