fix a typo in the PCI code