diff --git a/src/device/pci_device.c b/src/device/pci_device.c
index f41689e24a..5d38423cf3 100644
--- a/src/device/pci_device.c
+++ b/src/device/pci_device.c
@@ -1263,7 +1263,7 @@ void pci_scan_bus(struct bus *bus, unsigned int min_devfn,
 	post_code(0x25);
 
 	/*
-	 * Warn if any leftover static devices are are found.
+	 * Warn if any leftover static devices are found.
 	 * There's probably a problem in devicetree.cb.
 	 */