diff --git a/engine-proto/Engine.jl b/engine-proto/Engine.jl
index 4bce0d7..9841223 100644
--- a/engine-proto/Engine.jl
+++ b/engine-proto/Engine.jl
@@ -298,7 +298,7 @@ for _ in 1:3
   wtns = witness_set(system, cut_subspace)
   append!(samples, solution.(filter(isreal, results(wtns))))
 end
-println("witness solutions:")
+println("$(length(samples)) sample solutions:")
 for soln in samples
   display([vbls round.(soln, digits = 6)])
   k_sq = abs2(soln[1])