diff --git a/src/util/virpci.c b/src/util/virpci.c
index 8f2936c23aa7fdd9e5b6096655b2e2969414f567..75e8daadd55d1ceccab4d6eca3ad65a5a76ef00a 100644
--- a/src/util/virpci.c
+++ b/src/util/virpci.c
@@ -3239,7 +3239,8 @@ int virPCIGetHeaderType(virPCIDevicePtr dev, int *hdrType)
     type &= PCI_HEADER_TYPE_MASK;
     if (type >= VIR_PCI_HEADER_LAST) {
         virReportError(VIR_ERR_INTERNAL_ERROR,
-                       _("Unknown PCI header type '%d'"), type);
+                       _("Unknown PCI header type '%d' for device '%s'"),
+                       type, dev->name);
         return -1;
     }