diff --git a/rc/bin/sysinfo b/rc/bin/sysinfo
index 0a4f7c343..800f1030f 100755
--- a/rc/bin/sysinfo
+++ b/rc/bin/sysinfo
@@ -21,7 +21,7 @@ fn print{
 	logprog pci -v
 	logprog aux/cpuid
 	logprog aux/icanhasmsi
-	logprog aux/icanhasvmx
+	logprog aux/icanhasvmx -v
 	logprog aux/pcmcia
 	logprog cat '#u/usb/ctl'
 	logprog cat '#S/sdctl'
diff --git a/sys/src/cmd/aux/icanhasvmx.c b/sys/src/cmd/aux/icanhasvmx.c
index f1d65d8c0..0b1592ebc 100644
--- a/sys/src/cmd/aux/icanhasvmx.c
+++ b/sys/src/cmd/aux/icanhasvmx.c
@@ -211,7 +211,7 @@ main(int argc, char **argv)
 	} ARGEND;
 	if(argc != 0){
 	usage:
-		fprint(2, "usage: %s [-r]\n", argv0);
+		fprint(2, "usage: %s [-rv]\n", argv0);
 		exits("usage");
 	}