diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in index d39aee0af1..f06b5249e2 100644 --- a/docs/formatdomain.html.in +++ b/docs/formatdomain.html.in @@ -968,7 +968,7 @@
hostdev
element is the main container for describing
host devices. For usb device passthrough mode
is always
"subsystem" and type
is "usb" for a USB device and "pci"
- for a PCI device. When managed
is "yes" for a PIC
+ for a PCI device. When managed
is "yes" for a PCI
device, it is detached from the host before being passed on to
the guest.source