diff --git a/src/device/pci_device.c b/src/device/pci_device.c
index 52107f2f..70af9c5 100644
--- a/src/device/pci_device.c
+++ b/src/device/pci_device.c
@@ -409,8 +409,8 @@
 	int max_requested_bits = __fls64(size_mask);
 	if (max_requested_bits > CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS) {
 		printk(BIOS_WARNING, "WARNING: Device %s requests a BAR with"
-		       "%u bits of address space, which coreboot is not"
-		       "configured to hand out, truncating to %u bits\n",
+		       " %u bits of address space, which coreboot is not"
+		       " configured to hand out, truncating to %u bits\n",
 		       dev_path(dev), max_requested_bits,
 		       CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS);
 		max_requested_bits = CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS;
@@ -418,8 +418,8 @@
 
 	if (!(res->flags & IORESOURCE_PCI64) && max_requested_bits > 32) {
 		printk(BIOS_ERR, "ERROR: Resizable BAR requested"
-		       "above 32 bits, but PCI function reported a"
-		       "32-bit BAR.");
+		       " above 32 bits, but PCI function reported a"
+		       " 32-bit BAR.");
 		return;
 	}