--- wikisrc/ports/xen/howto.mdwn	2018/07/26 10:42:35	1.146
+++ wikisrc/ports/xen/howto.mdwn	2018/07/26 10:47:25	1.147
@@ -111,9 +111,6 @@ See also the [Xen Security Advisory page
 
 Note: Xen 4.2 was the last version to support 32bit CPUs.
 
-Note that NetBSD support is called XEN3.  It works with Xen 3 and Xen
-4 because the hypercall interface has been stable.
-
 Xen command program
 -------------------
 
@@ -138,13 +135,13 @@ xbd, where a vnd must be allocated).  Bu
 been adequately tested for a complex custom setup with a large number
 of interfaces.
 
-NetBSD
-------
+NetBSD versions
+---------------
 
 The netbsd-7, netbsd-8, and -current branches are all reasonable
 choices, with more or less the same considerations for non-Xen use.
-Therefore, netbsd-8 is recommended as the stable version of the most
-recent release for production use.
+NetBSD 8 is recommended as the stable version of the most recent
+release for production use.
 
 For developing Xen, netbsd-current may be appropriate.
 
@@ -153,6 +150,9 @@ no SMP support for NetBSD as dom0.  (The
 need SMP for dom0 functions; the lack of support is really a problem
 when using a dom0 as a normal computer.)
 
+Note: NetBSD support is called XEN3. However, it does support Xen 4,
+because the hypercall interface has remained identical.
+
 Architecture
 ------------