Index: /trunk/source/lisp-kernel/x86_print.c
===================================================================
--- /trunk/source/lisp-kernel/x86_print.c	(revision 12922)
+++ /trunk/source/lisp-kernel/x86_print.c	(revision 12923)
@@ -238,5 +238,5 @@
   add_c_string("#<");
   sprint_unsigned_decimal(elements);
-  add_c_string("-element vector subtag = ");
+  add_c_string("-element vector subtag = #x");
   add_char(digits[subtag>>4]);
   add_char(digits[subtag&15]);