diff --git a/VERSION b/VERSION
index 89837e0..b294806 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.5.237
+1.5.238
diff --git a/base/netcmp.c b/base/netcmp.c
index 76eecb9..e2105ac 100644
--- a/base/netcmp.c
+++ b/base/netcmp.c
@@ -5999,10 +5999,12 @@ PropertyMatch(struct objlist *ob1, int file1,
       else if ((t2type != PROPERTY) && (checked_one == TRUE)) {
 	 // t1 has more property records than t2, and they did not get
 	 // merged equally by PropertySortAndCombine().
-	 Fprintf(stdout, "Circuit 2 parallel/series network does not match"
+	 if (do_print) {
+	    Fprintf(stdout, "Circuit 2 parallel/series network does not match"
 			" Circuit 1\n");
-	 DumpNetwork(ob1, 1);
-	 DumpNetwork(ob2, 2);
+	    DumpNetwork(ob1, 1);
+	    DumpNetwork(ob2, 2);
+	 }
 	 mismatches++;
       }
       else if (t2type != PROPERTY) {