diff --git a/tools/python/xen/xend/XendDomainInfo.py b/tools/python/xen/xend/XendDomainInfo.py
index 16415d78a7..5baa306195 100644
--- a/tools/python/xen/xend/XendDomainInfo.py
+++ b/tools/python/xen/xend/XendDomainInfo.py
@@ -701,6 +701,7 @@ class XendDomainInfo:
                 ctrl.initController(reboot=True)
         else:
             self.create_configured_devices()
+        self.image.createDeviceModel()
 
     def device_create(self, dev_config):
         """Create a new device.
diff --git a/tools/python/xen/xend/image.py b/tools/python/xen/xend/image.py
index e0d70581bf..deb77b066c 100644
--- a/tools/python/xen/xend/image.py
+++ b/tools/python/xen/xend/image.py
@@ -1,4 +1,4 @@
-import os
+import os, string
 
 import xen.lowlevel.xc; xc = xen.lowlevel.xc.new()
 from xen.xend import sxp
@@ -6,6 +6,8 @@ from xen.xend.XendError import VmError
 from xen.xend.XendLogging import log
 from xen.xend.xenstore import DBVar
 
+from xen.xend.server import channel
+
 class ImageHandler:
     """Abstract base class for image handlers.
 
@@ -303,7 +305,7 @@ class VmxImageHandler(ImageHandler):
                   + " -f %s" % device_config
                   + self.vncParams()
                   + " -d %d" % self.vm.getDomain()
-                  + " -p %d" % self.device_channel['port1']
+                  + " -p %d" % (int(self.device_channel.port1)-1)
                   + " -m %s" % self.vm.memory)
 
     def vncParams(self):