Index: uspace/drv/nic/ar9271/wmi.c
===================================================================
--- uspace/drv/nic/ar9271/wmi.c	(revision 169e6e0a9c4e0b67b402504f32cddb8aea0debdd)
+++ uspace/drv/nic/ar9271/wmi.c	(revision 0989bc444e2d6a9f2746acd24ad33a0a433d7def)
@@ -231,5 +231,5 @@
 	void *buffer = malloc(buffer_size);
 	if (buffer == NULL) {
-		usb_log_error("Failed to allocated WMI message buffer (out of memory).\n");
+		usb_log_error("Failed to allocate WMI message buffer (out of memory).\n");
 		return ENOMEM;
 	}