--- src/share/man/man4/vga.4 2006/03/26 22:56:57 1.3 +++ src/share/man/man4/vga.4 2006/07/22 23:52:23 1.4 @@ -132,8 +132,8 @@ Your kernel configuration should normall The following lines should be included in the kernel configuration file in order to enable the VESA BIOS Extension support. .Pp -.Dl "options VESA" -.Dl "device vga0 at isa? port ? +.D1 Cd "options VESA" +.D1 Cd "device vga0 at isa? port ?" .Pp If you do not want VESA support included in the kernel, but want to use occasionally, do not add the