diff --git a/@PVS_checker/pvs_check.m b/@PVS_checker/pvs_check.m
index 66dae45e3b963e27439cae3f8e7914b18b97f517..d65188001c410b24fce729b2d259fc58c058f295 100644
--- a/@PVS_checker/pvs_check.m
+++ b/@PVS_checker/pvs_check.m
@@ -54,7 +54,7 @@ elseif (exists == 0 || strcmp(button,'Attempt to prove'))
     %---------
     % call pvs in batch mode with script
     % ADD check that pvs actually exists in system
-    [status, result] = system(['pvs -batch -v 3 -l ' function_name '.el']);
+    [status, result] = system(['pvs -batch -v 3 -l ' function_name '.el'])
     %objectect.msgbox_scroll(result);
     waitbar(.70,box,'Parsing Results');
     [parsed error] = object.parse_pvs_result(result);
diff --git a/@ValidationReport/populate.m b/@ValidationReport/populate.m
index f2ceef88fd81d48ab2ec3070c89e16ec77754fd8..d8d1da0eb32b04af64afa08cc73fff92743a668e 100644
--- a/@ValidationReport/populate.m
+++ b/@ValidationReport/populate.m
@@ -17,7 +17,7 @@ counter = [];
 counter_display = [];
 enum_array = [];
 if size(object.PVS_results(object.page).ce,2) == 0
-    counter = ['no counter example generated'];
+    counter_display = ['no counter example generated'];
     
 else
     for i = 1:2:size(object.PVS_results(object.page).ce,2)
@@ -30,7 +30,7 @@ else
         % an enumerated type need to do some more work.
             
         % check if new_value contains any characters [a-zA-z]
-        isstring = regexp(char(new_value),'\w','match');
+        isstring = regexp(char(new_value),'[a-zA-Z]','match');
         if ~isempty(isstring)
             % value is an alpha string
             
@@ -45,7 +45,7 @@ else
         else
             % value is numeric
             eval(['value = ' char(new_value) ';']);
-            new_value = value;
+            new_value = num2str(value);
         end
         
         % need different string for output vs evaulation