Index: uspace/lib/usbdev/src/devdrv.c
===================================================================
--- uspace/lib/usbdev/src/devdrv.c	(revision 844f4ef32bfb17441c9c3cf5627af5ce1f3d3e01)
+++ uspace/lib/usbdev/src/devdrv.c	(revision 9636bad6019ae6daf81ca86d6fb9adad37d559e6)
@@ -573,14 +573,10 @@
 	/* Ignore errors and hope for the best. */
 	usb_device_destroy_pipes(dev->ddf_dev, dev->pipes, dev->pipes_count);
-	if (dev->descriptors.configuration != NULL) {
-		free(dev->descriptors.configuration);
-	}
+	free(dev->descriptors.configuration);
 
 	if (dev->alternate_interfaces != NULL) {
-		if (dev->alternate_interfaces->alternatives != NULL) {
-			free(dev->alternate_interfaces->alternatives);
-		}
-		free(dev->alternate_interfaces);
-	}
+		free(dev->alternate_interfaces->alternatives);
+	}
+	free(dev->alternate_interfaces);
 
 	free(dev);