Nucleus

diff --git a/drivers/devices.c b/drivers/devices.c
index 19ec2e5..a5873df 100644
--- a/drivers/devices.c
+++ b/drivers/devices.c
@@ -50,7 +50,7 @@ init_pci_device(int bus, int dev, int func)
 		if (devices[d].vendor != vendor
 		 || devices[d].device != device)
 			continue;
-		kprintf("PCI(%d,%d,%d) \"%s\"", bus, dev, func,
+		kprintf("PCI(%d,%d,%d) %s", bus, dev, func,
 		        devices[d].name);
 		if (devices[d].init)
 			devices[d].init(bus, dev, func);