diff --git a/xc/xenops_server_xen.ml b/xc/xenops_server_xen.ml
index e36bc3f8f..df154e324 100644
--- a/xc/xenops_server_xen.ml
+++ b/xc/xenops_server_xen.ml
@@ -2085,7 +2085,9 @@ module VBD = struct
 						)
 						(fun () ->
 							match domid, backend with
-							| Some x, Some (VDI _) -> Storage.dp_destroy task (Storage.id_of (string_of_int x) vbd.Vbd.id)
+							| Some x, None
+							| Some x, Some (VDI _)
+								-> Storage.dp_destroy task (Storage.id_of (string_of_int x) vbd.Vbd.id)
 							| _ -> ()
 						)
 				with