Index: uspace/drv/nic/rtl8139/driver.c
===================================================================
--- uspace/drv/nic/rtl8139/driver.c	(revision acdb5bacffa0840fa18ced3443b7bcb244837b8d)
+++ uspace/drv/nic/rtl8139/driver.c	(revision 1d24ad312b4ddcdf3dc7c30ee0effc5293fd669c)
@@ -620,5 +620,5 @@
 		if (size == 0 || size > RTL8139_FRAME_MAX_LENGTH) {
 			ddf_msg(LVL_ERROR, "Receiver error -> receiver reset (size: %4" PRIu16 ", "
-			    "header 0x%4" PRIx16 ". Offset: %d)", size, frame_header,
+			    "header 0x%4" PRIx32 ". Offset: %" PRIu16 ")", size, frame_header,
 			    rx_offset);
 			goto rx_err;