diff --git a/tools/python/xen/xend/XendDomainInfo.py b/tools/python/xen/xend/XendDomainInfo.py
index 45da2c250f..fa5fd6b574 100644
--- a/tools/python/xen/xend/XendDomainInfo.py
+++ b/tools/python/xen/xend/XendDomainInfo.py
@@ -83,7 +83,9 @@ def blkdev_name_to_number(name):
     'hda') and return the device number used by the OS. """
 
     if not re.match( '^/dev/', name ):
-        n = '/dev/' + name
+	n = '/dev/' + name
+    else:
+	n = name
         
     try:
 	return os.stat(n).st_rdev