--- src/share/man/man7/vkernel.7	2007/03/16 13:42:11	1.13
+++ src/share/man/man7/vkernel.7	2007/03/30 09:08:57	1.14
@@ -175,6 +175,11 @@ while operating as a console which cause
 internal
 .Xr ddb 4
 debugger.
+.Sh DEBUGGING
+It is possible to directly gdb the virtual kernel's process.
+It is recommended that you do a
+.Ql handle SIGSEGV noprint
+to ignore page faults processed by the virtual kernel itself.
 .Sh EXAMPLES
 A couple of steps are necessary in order to prepare the system to build and
 run a virtual kernel.
@@ -258,10 +263,6 @@ cd /usr/obj/usr/src/sys/VKERNEL
 The
 .Xr reboot 8
 command can be used to stop a virtual kernel.
-.Ss Debugging the kernel
-It is possible to directly gdb the virtual kernel's process.  It is
-recommended that you do a 'handle SIGSEGV noprint' to ignore page faults
-taken by the virtual kernel itself (which it processes itself).
 .Sh SEE ALSO
 .Xr bridge 4 ,
 .Xr tap 4 ,