diff --git a/lapic.c b/lapic.c
index d2d367490a673d62873dc1d9337cdbcd48a82a86..4bc6f2c847bb424ee8d70f399ca85701960b27b0 100644
--- a/lapic.c
+++ b/lapic.c
@@ -114,7 +114,6 @@ lapic_timerinit(void)
 void
 lapic_timerintr(void)
 {
-  // cprintf("cpu%d: timer interrupt!\n", cpu());
   lapic_write (LAPIC_EOI, 0);
 }
 
diff --git a/picirq.c b/picirq.c
index 86d1d1d6ef539885e7f429f8dda02318bd4e47e7..b53e4d4558b3eb35165a0f1a2b1adac171b617d9 100644
--- a/picirq.c
+++ b/picirq.c
@@ -1,5 +1,3 @@
-/* See COPYRIGHT for copyright information. */
-
 #include "types.h"
 #include "x86.h"
 #include "traps.h"
diff --git a/trap.c b/trap.c
index bbb2500334cb8df9d1d37953ace5b4c7d49d101e..fc872e685640a5252aaba3d5adb5ace491106544 100644
--- a/trap.c
+++ b/trap.c
@@ -21,7 +21,7 @@ tvinit(void)
   for(i = 0; i < 256; i++){
     SETGATE(idt[i], 1, SEG_KCODE << 3, vectors[i], 0);
   }
-  SETGATE(idt[T_SYSCALL], 1, SEG_KCODE << 3, vectors[48], 3);
+  SETGATE(idt[T_SYSCALL], 1, SEG_KCODE << 3, vectors[T_SYSCALL], 3);
 }
 
 void