--- np2/i386c/ia32/exception.c	2011/12/21 16:25:52	1.28
+++ np2/i386c/ia32/exception.c	2011/12/21 16:27:10	1.29
@@ -584,7 +584,7 @@ interrupt_intr_or_trap(const descriptor_
 			EXCEPTION(GP_EXCEPTION, exc_errcode);
 		}
 		if (!SEG_IS_CONFORMING_CODE(&cs_sel.desc) && (cs_sel.desc.dpl != CPU_STAT_CPL)) {
-			VERBOSE(("interrupt: %sCONFORMING-CODE-SEGMENT(%s) && DPL[CS](%d) != CPL", SEG_IS_CONFORMING_CODE(&cs_sel.desc) ? "" : "NON-", cs_sel.desc.dpl, CPU_STAT_CPL));
+			VERBOSE(("interrupt: %sCONFORMING-CODE-SEGMENT(%d) && DPL[CS](%d) != CPL", SEG_IS_CONFORMING_CODE(&cs_sel.desc) ? "" : "NON-", cs_sel.desc.dpl, CPU_STAT_CPL));
 			EXCEPTION(GP_EXCEPTION, exc_errcode);
 		}