diff --git a/src/main/gov/nasa/jpf/jdart/JDart.java b/src/main/gov/nasa/jpf/jdart/JDart.java
index d11f33f..2e0e117 100644
--- a/src/main/gov/nasa/jpf/jdart/JDart.java
+++ b/src/main/gov/nasa/jpf/jdart/JDart.java
@@ -296,10 +296,12 @@ public String format(LogRecord record) {
               type = "double";
             } else if (vResultType.equals("java.lang.Boolean")) {
               type = "boolean";
+            } else if (vResultType.equals("java.lang.Byte")) {
+              type = "byte";
             }
 
             if (type != null) {
-              file_output += type + ":" + p.getValuation().getValue(v) + "\n";
+              file_output += type + ":" + v.getName() + ":" + p.getValuation().getValue(v) + "\n";
             }
           }
           logger.info(out);