diff --git a/src/device/device_util.c b/src/device/device_util.c
index 42dc89a..edf053d 100644
--- a/src/device/device_util.c
+++ b/src/device/device_util.c
@@ -192,7 +192,7 @@
 				 dev->path.ioapic.ioapic_id);
 			break;
 		case DEVICE_PATH_DOMAIN:
-			snprintf(buffer, sizeof(buffer), "DOMAIN: %04x",
+			snprintf(buffer, sizeof(buffer), "DOMAIN: %08x",
 				dev->path.domain.domain);
 			break;
 		case DEVICE_PATH_CPU_CLUSTER: