Index: uspace/drv/bus/usb/ohci/ohci_batch.c
===================================================================
--- uspace/drv/bus/usb/ohci/ohci_batch.c	(revision dbd54f725818913087421b8924c061f4013d75bb)
+++ uspace/drv/bus/usb/ohci/ohci_batch.c	(revision 53576200b0444a500b36f8fd64cec44e18d9160c)
@@ -54,5 +54,5 @@
 	unsigned i = 0;
 	if (ohci_batch->tds) {
-		for (; i< ohci_batch->td_count; ++i) {
+		for (; i < ohci_batch->td_count; ++i) {
 			if (i != ohci_batch->leave_td)
 				free32(ohci_batch->tds[i]);
Index: uspace/drv/bus/usb/ohci/utils/malloc32.h
===================================================================
--- uspace/drv/bus/usb/ohci/utils/malloc32.h	(revision dbd54f725818913087421b8924c061f4013d75bb)
+++ uspace/drv/bus/usb/ohci/utils/malloc32.h	(revision 53576200b0444a500b36f8fd64cec44e18d9160c)
@@ -69,5 +69,5 @@
  */
 static inline void free32(void *addr)
-	{ if (addr) free(addr); }
+	{ free(addr); }
 #endif
 /**