diff --git a/src/misc/extra/extraBddMisc.c b/src/misc/extra/extraBddMisc.c
index 0ec123f42..be6c03f14 100644
--- a/src/misc/extra/extraBddMisc.c
+++ b/src/misc/extra/extraBddMisc.c
@@ -1276,7 +1276,10 @@ static DdNode * extraBddCountCubes( DdManager * dd, DdNode * L, DdNode * U, st__
 
     statLine(dd);
     if (L == zero)
+    {
+        *pnCubes = 0;
         return(zero);
+    }
     if (U == one)
     {
         *pnCubes = 1;