diff --git a/tools/bootloader/sysSignal_ia32.c b/tools/bootloader/sysSignal_ia32.c
index b2bb05a46d..e6ab1d7257 100644
--- a/tools/bootloader/sysSignal_ia32.c
+++ b/tools/bootloader/sysSignal_ia32.c
@@ -655,7 +655,7 @@ EXTERNAL void setupDeliverHardwareException(void *context, Address vmRegisters,
   sp = sp - __SIZEOF_POINTER__; /* next parameter is trap info */
   ((Word *)sp)[0] = trapInfo;
   IA32_EDX(context) = trapInfo;
-  VERBOSE_SIGNALS_PRINTF("%s: trap info is %d\n", Me, trapInfo);
+  VERBOSE_SIGNALS_PRINTF("%s: trap info is %x\n", Me, trapInfo);
 
   sp = sp - __SIZEOF_POINTER__; /* return address - looks like called from failing instruction */
   *(Address *) sp = instructionFollowingPtr;