diff --git a/src/devices/device.c b/src/devices/device.c
index 9753de81cb..92a4447a89 100644
--- a/src/devices/device.c
+++ b/src/devices/device.c
@@ -737,7 +737,7 @@ static void set_vga_bridge_bits(void)
 
 		/* It isn't safe to enable all VGA cards. */
 		dev->command &= ~(PCI_COMMAND_MEMORY | PCI_COMMAND_IO);
-	};
+	}
 
 	if (!vga)
 		vga = vga_onboard;