diff --git a/C/index.c b/C/index.c
index 425aa5dcb..8a82e4afe 100644
--- a/C/index.c
+++ b/C/index.c
@@ -1453,7 +1453,7 @@ static Int has_cut(yamop *pc, PredEntry *ap)
 {
   if (ap->PredFlags & LogUpdatePredFlag) {
     LogUpdClause *lcl = ClauseCodeToLogUpdClause(pc);
-    return lcl->ClFlags & HasCutMask ? 1 : 0;
+    return ( (lcl->ClFlags & HasCutMask) != 0);
   }  else if (ap->PredFlags & MegaClausePredFlag) {
     /* must be a fact */
     return FALSE;
@@ -1461,7 +1461,7 @@ static Int has_cut(yamop *pc, PredEntry *ap)
     StaticClause *scl;
 
     scl = ClauseCodeToStaticClause(pc);
-    return scl->ClFlags & HasCutMask ? 1 : 0;
+    return ( (scl->ClFlags & HasCutMask) != 0);
   }
 }
 
diff --git a/packages/pldoc b/packages/pldoc
index d41891071..b1c05f2df 160000
--- a/packages/pldoc
+++ b/packages/pldoc
@@ -1 +1 @@
-Subproject commit d41891071193a6c9d20b30bdbe709531948e111b
+Subproject commit b1c05f2dfba27286d3810c6921d027cecd528b01