minor fixes to xen part 1