--- wikisrc/ports/xen/howto.mdwn	2016/12/20 20:59:49	1.133
+++ wikisrc/ports/xen/howto.mdwn	2016/12/20 21:22:57	1.134
@@ -190,7 +190,7 @@ run Xen today supports amd64.)
 
 Xen, the dom0 system, and each domU system can be either i386 or
 amd64.  When building a xenkernel package, one obtains an i386 Xen
-kernel on an i386 host, and anamd64 Xen kernel on an amd64 host.  If
+kernel on an i386 host, and an amd64 Xen kernel on an amd64 host.  If
 the Xen kernel is i386, then the dom0 kernel and all domU kernels must
 be i386.  With an amd64 Xen kernel, an amd64 dom0 kernel is known to
 work, and an i386 dom0 kernel should in theory work.  An amd64