diff --git a/src/kernel/dri/ide/ide.c b/src/kernel/dri/ide/ide.c
index de4144c..2f45670 100644
--- a/src/kernel/dri/ide/ide.c
+++ b/src/kernel/dri/ide/ide.c
@@ -17,7 +17,7 @@
 
 void ide_print_device(struct ide_device *dev)
 {
-	kprintf(INFO "<ide-device dma=%b>\n", dev->supports_dma);
+	kprintf(INFO "IDE device dma=%b\n", dev->supports_dma);
 }
 
 void ide_thread(struct ide_thread_data *data)
diff --git a/src/kernel/dri/pci/pci.c b/src/kernel/dri/pci/pci.c
index 4d2d01e..bb0b36c 100644
--- a/src/kernel/dri/pci/pci.c
+++ b/src/kernel/dri/pci/pci.c
@@ -19,6 +19,7 @@
 
 struct pci_device pci_check_device(uchar bus, uchar slot, uchar func)
 {
+
 	uint vendor_device = pci_config_readd(bus, slot, func, 0);
 	ushort vendor = vendor_device & 0xffff;