diff --git a/kernel/proc.h b/kernel/proc.h
index 7566b1c47..9437b97fe 100755
--- a/kernel/proc.h
+++ b/kernel/proc.h
@@ -84,10 +84,12 @@ struct proc {
  * priority) and increment. Priorities of the processes in the boot image can 
  * be set in table.c.
  */
-#define NR_SCHED_QUEUES    8	/* MUST equal minimum priority + 1 */
+#define NR_SCHED_QUEUES   16	/* MUST equal minimum priority + 1 */
 #define TASK_Q		   0	/* highest, reserved for kernel tasks */
-#define USER_Q  	   4    /* default priority for user processes */   
-#define IDLE_Q		   7    /* lowest, only IDLE process goes here */
+#define MAX_USER_Q  	   8    /* highest priority for user processes */   
+#define USER_Q  	  12    /* default priority for user processes */   
+#define MIN_USER_Q	  14	/* minimum priority for user processes */
+#define IDLE_Q		  15    /* lowest, only IDLE process goes here */
 
 /* Each queue has a maximum number of full quantums associated with it. */
 #define QUANTUMS(q)	(NR_SCHED_QUEUES - (q))
diff --git a/servers/is/dmp_kernel.c b/servers/is/dmp_kernel.c
index 53d8b180d..e223e88fd 100644
--- a/servers/is/dmp_kernel.c
+++ b/servers/is/dmp_kernel.c
@@ -369,7 +369,7 @@ PUBLIC void proctab_dmp()
       return;
   }
 
-  printf("\n--nr-name-flags--pri-quant-#--sc- -user---sys- -text---data---size- -rts flags-\n");
+  printf("\n--nr-name-flags-prior-quant-##-sc- -user---sys- -text---data---size- -rts flags-\n");
 
   for (rp = oldrp; rp < END_PROC_ADDR; rp++) {
 	if (isemptyp(rp)) continue;
@@ -381,7 +381,7 @@ PUBLIC void proctab_dmp()
 	if (proc_nr(rp) == IDLE) 	printf("(%2d) ", proc_nr(rp));  
 	else if (proc_nr(rp) < 0) 	printf("[%2d] ", proc_nr(rp));
 	else 				printf(" %2d  ", proc_nr(rp));
-	printf("%-7.7s %2x  %u/%u %02d/%02d %u  %02.2x %6lu%6lu %6uK%6uK%6uK %3x",
+	printf("%-7.7s %2x %02u/%02u %02d/%02d %02u %02.2x %6lu%6lu %6uK%6uK%6uK %3x",
 	       rp->p_name,
 	       rp->p_flags,
 	       rp->p_priority, rp->p_max_priority,