diff --git a/liquidjava-verifier/pom.xml b/liquidjava-verifier/pom.xml
index 1484744f..2fc7f155 100644
--- a/liquidjava-verifier/pom.xml
+++ b/liquidjava-verifier/pom.xml
@@ -11,7 +11,7 @@
 
 	<groupId>io.github.liquid-java</groupId>
 	<artifactId>liquidjava-verifier</artifactId>
-	<version>0.0.13</version>
+	<version>0.0.14</version>
 	<name>liquidjava-verifier</name>
 	<description>LiquidJava Verifier</description>
 	<url>https://github.com/liquid-java/liquidjava</url>
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/RefinementError.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/RefinementError.java
index 21a9a4c2..24c27336 100644
--- a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/RefinementError.java
+++ b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/RefinementError.java
@@ -27,10 +27,10 @@ public RefinementError(SourcePosition position, ValDerivationNode expected, ValD
 
     @Override
     public String getDetails() {
-        return getCounterexampleString();
+        return "Counterexample: " + getCounterExampleString();
     }
 
-    private String getCounterexampleString() {
+    public String getCounterExampleString() {
         if (counterexample == null || counterexample.assignments().isEmpty())
             return "";
 
@@ -42,7 +42,7 @@ private String getCounterexampleString() {
         if (counterexampleExp.equals(found.getValue().toString()))
             return "";
 
-        return "Counterexample: " + counterexampleExp;
+        return counterexampleExp;
     }
 
     public Counterexample getCounterexample() {