diff --git a/@CVC_checker/cvc_check.m b/@CVC_checker/cvc_check.m
index 55472cc574e5ff2e2647c7ba8002fe028ce692b8..7cc2e10e31d2b1a3c30cc035a6951246584bd4a5 100644
--- a/@CVC_checker/cvc_check.m
+++ b/@CVC_checker/cvc_check.m
@@ -21,7 +21,7 @@ function [ check, seqs ] = cvc_check( object )
     waitbar(.10,box,'Running Proof');
 tic
     % run the cvc command
-[status, result] = system(['cvc3 ' filename ' +model']);
+[status, result] = system(['cvc3 ' filename ' +model'])
 toc
 % check return status for errors
 if (status ~= 0)
diff --git a/@PVS_checker/pvs_check.m b/@PVS_checker/pvs_check.m
index f835410c267335b268998e53d31859845fe6845a..0833d35773d8ced03f4f24a218196f10d3a13857 100644
--- a/@PVS_checker/pvs_check.m
+++ b/@PVS_checker/pvs_check.m
@@ -25,8 +25,8 @@ if error == 1
     return;
 elseif error == 2
     % copy pvs files over.
-    copyfile(fullfile(fileparts(which('TTdiag')),'PVS_theories','*.*'),pwd);
-
+    copyfile(fullfile(fileparts(which('TTdiag')),'PVS_theories','*.pvs'),pwd);
+    copyfile(fullfile(fileparts(which('TTdiag')),'PVS_theories','*.prf'),pwd);
 end