diff --git a/hdr/pcb.h b/hdr/pcb.h
index 2405eba..8f79e40 100644
--- a/hdr/pcb.h
+++ b/hdr/pcb.h
@@ -168,13 +168,5 @@ typedef struct {
    /* Allow default alignment from now on */
 #include <algndflt.h>
 
-/*
- * Invoke interrupt "intnr" with all registers from *pr loaded
- * into the processor registers (except: SS, SP,& flags)
- * On return, all processor registers are stored into *pr (including
- * flags).
- */
-void ASMCFUNC intr(int intnr, iregs * const pr);
-
 #endif
 
diff --git a/kernel/config.c b/kernel/config.c
index 767788e..421a35a 100644
--- a/kernel/config.c
+++ b/kernel/config.c
@@ -1477,7 +1477,7 @@ void FAR * KernelAlloc(size_t nBytes, char type, int mode)
   {
     /* prealloc */
     lpTop = MK_FP(FP_SEG(lpTop) - nPara, FP_OFF(lpTop));
-    p=AlignParagraph(lpTop);
+    p = AlignParagraph(lpTop);
   }
   else
   {
diff --git a/kernel/makefile b/kernel/makefile
index 0b67948..a0bd51c 100644
--- a/kernel/makefile
+++ b/kernel/makefile
@@ -37,6 +37,7 @@ production:     ..\bin\$(TARGET).sys
 		copy kernel.map ..\bin\$(TARGET).map
 
 kernel.sys:	kernel.exe ..\utils\exeflat.exe
+		dir kernel.exe
 		$(XUPX) kernel.exe
 		..\utils\exeflat kernel.exe kernel.sys 0x60 -S0x10 -S0x8B $(UPXOPT)