diff --git a/src/system/kernel/port.c b/src/system/kernel/port.c
index b7d727beca..d49fc095de 100644
--- a/src/system/kernel/port.c
+++ b/src/system/kernel/port.c
@@ -234,13 +234,16 @@ _dump_port_info(struct port_entry *port)
 	int32 count;
 
 	kprintf("PORT: %p\n", port);
+	kprintf(" id:              %#lx\n", port->id);
 	kprintf(" name:            \"%s\"\n", port->name);
 	kprintf(" owner:           %#lx\n", port->owner);
 	kprintf(" capacity:        %ld\n", port->capacity);
+	kprintf(" read_sem:        %#lx\n", port->read_sem);
+	kprintf(" write_sem:       %#lx\n", port->write_sem);
  	get_sem_count(port->read_sem, &count);
- 	kprintf(" read sem count:  %ld\n", count);
+ 	kprintf(" read_sem count:  %ld\n", count);
  	get_sem_count(port->write_sem, &count);
-	kprintf(" write sem count: %ld\n", count);
+	kprintf(" write_sem count: %ld\n", count);
 	kprintf(" total count:     %ld\n", port->total_count);
 }
 
diff --git a/src/system/kernel/sem.c b/src/system/kernel/sem.c
index fce492c2f0..4e4dccee45 100644
--- a/src/system/kernel/sem.c
+++ b/src/system/kernel/sem.c
@@ -103,7 +103,7 @@ static void
 dump_sem(struct sem_entry *sem)
 {
 	kprintf("SEM: %p\n", sem);
-	kprintf("id:      %ld\n", sem->id);
+	kprintf("id:      %#ld\n", sem->id);
 	if (sem->id >= 0) {
 		kprintf("name:    '%s'\n", sem->u.used.name);
 		kprintf("owner:   0x%lx\n", sem->u.used.owner);