diff --git a/sys/dev/pci/pci.c b/sys/dev/pci/pci.c
index 4395646bcb8..a609e66030e 100644
--- a/sys/dev/pci/pci.c
+++ b/sys/dev/pci/pci.c
@@ -1171,7 +1171,7 @@ pci_probe_nomatch(device_t dev, device_t child)
 			  ((cp != NULL) && (scp != NULL)) ? ", " : "",
 			  scp ? : "");
 	}
-	printf(" at %d:%d (no driver attached)\n",
+	printf(" at %d.%d (no driver attached)\n",
 	       pci_get_slot(child),
 	       pci_get_function(child));
 	return;