Update xos-spec.html