diff --git a/docs/formatdomain.rst b/docs/formatdomain.rst
index 6b8b60804e..b46eefb0f6 100644
--- a/docs/formatdomain.rst
+++ b/docs/formatdomain.rst
@@ -6631,9 +6631,10 @@ Serial port
        <target port='0'/>
      </serial>
      <!-- Debug port for SeaBIOS / EDK II -->
-     <serial type='pty'>
+     <serial type='file'>
        <target type='isa-debug'/>
        <address type='isa' iobase='0x402'/>
+       <source path='/tmp/DOMAIN-ovmf.log'/>
      </serial>
 
    </devices>