one last format fix in xen part 1