Index: uspace/lib/usbdev/src/recognise.c
===================================================================
--- uspace/lib/usbdev/src/recognise.c	(revision 4ca778b5f0f922533b6cf07ca4155715fa320238)
+++ uspace/lib/usbdev/src/recognise.c	(revision f5bfd987f410dc79fd3b087cc2a3719189ea094a)
@@ -34,14 +34,13 @@
  */
 
-#include <sys/types.h>
-#include <fibril_synch.h>
-#include <usb/debug.h>
 #include <usb/dev/pipes.h>
 #include <usb/dev/recognise.h>
 #include <usb/dev/request.h>
 #include <usb/classes/classes.h>
+
+#include <assert.h>
+#include <errno.h>
 #include <stdio.h>
-#include <errno.h>
-#include <assert.h>
+#include <sys/types.h>
 
 /** Get integer part from BCD coded number. */
@@ -235,5 +234,5 @@
 		    (int) device_descriptor->product_id,
 		    BCD_ARGS(device_descriptor->device_version));
-		
+
 		/* Next, without release number. */
 		ADD_MATCHID_OR_RETURN(matches, 90,
@@ -241,10 +240,10 @@
 		    (int) device_descriptor->vendor_id,
 		    (int) device_descriptor->product_id);
-	}	
+	}
 
 	/* Class match id */
 	ADD_MATCHID_OR_RETURN(matches, 50, "usb&class=%s",
 	    usb_str_class(device_descriptor->device_class));
-	
+
 	/* As a last resort, try fallback driver. */
 	ADD_MATCHID_OR_RETURN(matches, 10, "usb&fallback");