--- ./tcp_usrreq.c	2023-02-06 12:20:28.768235000 -0500
+++ ./tcp_usrreq.c.new	2023-02-06 12:22:08.937012000 -0500
@@ -2991,7 +2991,7 @@
 	db_printf(")\n");
 
 	db_print_indent(indent);
-	db_printf("snd_una: 0x%08x   snd_max: 0x%08x   snd_nxt: x0%08x\n",
+	db_printf("snd_una: 0x%08x   snd_max: 0x%08x   snd_nxt: 0x%08x\n",
 	    tp->snd_una, tp->snd_max, tp->snd_nxt);
 
 	db_print_indent(indent);