diff --git a/qemu-options.hx b/qemu-options.hx
index 3e8085d463..3c411c427e 100644
--- a/qemu-options.hx
+++ b/qemu-options.hx
@@ -945,7 +945,7 @@ DEF("vga", HAS_ARG, QEMU_OPTION_vga,
     "-vga [std|cirrus|vmware|qxl|xenfb|none]\n"
     "                select video card type\n", QEMU_ARCH_ALL)
 STEXI
-@item -vga @var{type}[,@var{prop}=@var{value}[,...]]
+@item -vga @var{type}
 @findex -vga
 Select type of VGA card to emulate. Valid values for @var{type} are
 @table @option
@@ -970,12 +970,6 @@ Recommended choice when using the spice protocol.
 @item none
 Disable VGA card.
 @end table
-Valid optional properties are
-@table @option
-@item retrace=dumb|precise
-Select dumb (default) or precise VGA retrace logic, useful for some
-DOS games/demos.
-@end table
 ETEXI
 
 DEF("full-screen", 0, QEMU_OPTION_full_screen,