diff --git a/sbin/veriexec/veriexec.c b/sbin/veriexec/veriexec.c
--- a/sbin/veriexec/veriexec.c
+++ b/sbin/veriexec/veriexec.c
@@ -53,7 +53,7 @@
 veriexec_usage()
 {
 	printf("%s",
-	    "Usage:\tveriexec [-h] [-i state] [-C] [-xv state|verbosity] [path]\n");
+	    "Usage:\tveriexec [-h] [-i state] [-C path] [-xv state|verbosity] [path]\n");
 
 	return (0);
 }
@@ -140,7 +140,7 @@
 {
 	long long converted_int;
 	uint32_t state;
-	char c;
+	int c;
 	int x;
 
 	if (argc < 2)