Tweaks to Xen events article