Use correct url for XENBUS #7