Index: uspace/lib/libc/generic/devman.c
===================================================================
--- uspace/lib/libc/generic/devman.c	(revision bda60d956a93a1fe2c05dbb02aabd00c3d081874)
+++ uspace/lib/libc/generic/devman.c	(revision d347b53724c4a93926208e7fb3b0f34111cebc47)
@@ -108,5 +108,5 @@
 int devman_child_device_register(
 	const char *name, match_id_list_t *match_ids, device_handle_t parent_handle, device_handle_t *handle)
-{	
+{		
 	int phone = devman_get_phone(DEVMAN_DRIVER, IPC_FLAG_BLOCKING);
 	
Index: uspace/lib/libdrv/generic/driver.c
===================================================================
--- uspace/lib/libdrv/generic/driver.c	(revision bda60d956a93a1fe2c05dbb02aabd00c3d081874)
+++ uspace/lib/libdrv/generic/driver.c	(revision d347b53724c4a93926208e7fb3b0f34111cebc47)
@@ -72,8 +72,5 @@
 	// result of the operation - device was added, device is not present etc.
 	ipcarg_t ret = 0;	
-	device_handle_t dev_handle =  IPC_GET_ARG1(*icall);
-	
-	printf("%s: adding device with handle = %x \n", driver->name, dev_handle);
-	
+	device_handle_t dev_handle =  IPC_GET_ARG1(*icall);	
 	device_t *dev = driver_create_device();
 	dev->handle = dev_handle;
@@ -82,6 +79,7 @@
 		// TODO set return value
 	}
+	printf("%s: new device with handle = %x was added.\n", driver->name, dev_handle);
 	
-	ipc_answer_1(iid, EOK, ret);
+	ipcarg_t r = ipc_answer_1(iid, EOK, ret);
 }
 
@@ -168,5 +166,4 @@
 	
 	// register driver by device manager with generic handler for incoming connections
-	printf("%s: sending registration request to devman.\n", driver->name);
 	devman_driver_register(driver->name, driver_connection);