diff --git a/www/conservancy/static/linux-compliance/vmware-lawsuit-faq.html b/www/conservancy/static/linux-compliance/vmware-lawsuit-faq.html
index 927af40e2448bf6b366658d13b1822d60a1cbfc6..9a3a1865871840948e4f0b9ab1f0ef4a70279247 100644
--- a/www/conservancy/static/linux-compliance/vmware-lawsuit-faq.html
+++ b/www/conservancy/static/linux-compliance/vmware-lawsuit-faq.html
@@ -220,7 +220,7 @@ Code, and for which (at least some) source code is provided.
function LinuxPCIDeviceRemoved()
, reads as follows:
-#include+#include <linux/pci.h> [...] /* * This function [...] is modelled after pci_remove_device, the function which would