diff --git a/src/detect-virt.c b/src/detect-virt.c
index 7685d18cc..57f017666 100644
--- a/src/detect-virt.c
+++ b/src/detect-virt.c
@@ -40,7 +40,7 @@ int main(int argc, char *argv[]) {
         }
 
         if (r > 0)
-                printf("%s\n", id);
+                puts(id);
 
         return r == 0;
 }
diff --git a/src/util.c b/src/util.c
index 7e8246bb6..aa49390b8 100644
--- a/src/util.c
+++ b/src/util.c
@@ -3719,7 +3719,7 @@ int detect_vm(const char **id) {
                 "/sys/class/dmi/id/bios_vendor"
         };
 
-        const char dmi_vendor_table[] =
+        static const char dmi_vendor_table[] =
                 "QEMU\0"                  "qemu\0"
                 /* http://kb.vmware.com/selfservice/microsites/search.do?language=en_US&cmd=displayKC&externalId=1009458 */
                 "VMware\0"                "vmware\0"
@@ -3729,7 +3729,7 @@ int detect_vm(const char **id) {
                 "Xen\0"                   "xen\0"
                 "\0";
 
-        const char cpuid_vendor_table[] =
+        static const char cpuid_vendor_table[] =
                 "XenVMMXenVMM\0"          "xen\0"
                 "KVMKVMKVM\0"             "kvm\0"
                 /* http://kb.vmware.com/selfservice/microsites/search.do?language=en_US&cmd=displayKC&externalId=1009458 */