diff --git a/examples/quickcheck/src/main/java/quickcheck/QuickCheck.java b/examples/quickcheck/src/main/java/quickcheck/QuickCheck.java
index c1192e20b..4a5a16811 100644
--- a/examples/quickcheck/src/main/java/quickcheck/QuickCheck.java
+++ b/examples/quickcheck/src/main/java/quickcheck/QuickCheck.java
@@ -459,10 +459,18 @@ else if (result instanceof BooleanValue)
 					}
 					else
 					{
-						printf("PO #%d, FAILED %s: ", po.number, duration(before, after));
-						printFailPath(bindings);
-						println("----");
-						println(po);
+						if (po.getCheckedExpression() instanceof TCExistsExpression)
+						{
+							printf("PO #%d, MAYBE %s\n", po.number, duration(before, after));
+						}
+						else
+						{
+							printf("PO #%d, FAILED %s: ", po.number, duration(before, after));
+							printFailPath(bindings);
+							println("----");
+							println(po);
+						}
+
 					}
 				}
 				else