diff --git a/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/translator/A4Solution.java b/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/translator/A4Solution.java
index 6dee79c60..98f4f4bac 100644
--- a/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/translator/A4Solution.java
+++ b/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/translator/A4Solution.java
@@ -344,7 +344,7 @@ public final class A4Solution {
         this.maxtrace = maxtrace;
         this.mintrace = mintrace;
         // [electrum] test whether unbounded solver
-        if (maxtrace == Integer.MAX_VALUE && !(!opt.solver.unbounded()))
+        if (maxtrace == Integer.MAX_VALUE && !opt.solver.unbounded())
             throw new ErrorAPI("Bounded engines do not support open bounds on steps.");
         if (bitwidth < 0)
             throw new ErrorSyntax("Cannot specify a bitwidth less than 0.");
diff --git a/org.alloytools.pardinus.native/src/main/java/org/alloytools/solvers/natv/electrod/ElectrodRef.java b/org.alloytools.pardinus.native/src/main/java/org/alloytools/solvers/natv/electrod/ElectrodRef.java
index 59b55e0ea..7c4c31f94 100644
--- a/org.alloytools.pardinus.native/src/main/java/org/alloytools/solvers/natv/electrod/ElectrodRef.java
+++ b/org.alloytools.pardinus.native/src/main/java/org/alloytools/solvers/natv/electrod/ElectrodRef.java
@@ -151,6 +151,7 @@ String execute(ElectrodSolver electrodSolver, String elo, PardinusBounds bounds)
         args.add(electrod.getAbsolutePath());
         args.add("-t");
         args.add(solverId);
+        args.add("-v");
 
         ExtendedOptions options = electrodSolver.options();
         if (!options.unbounded()) {