diff --git a/src/device/pci_device.c b/src/device/pci_device.c
index f41689e..5d38423 100644
--- a/src/device/pci_device.c
+++ b/src/device/pci_device.c
@@ -1263,7 +1263,7 @@
 	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.
 	 */