Index: kernel/arch/ia32/include/interrupt.h
===================================================================
--- kernel/arch/ia32/include/interrupt.h	(revision 77385fe1ae64aa8f1bab1b5c3600ce05cd3f15b7)
+++ kernel/arch/ia32/include/interrupt.h	(revision 9097982f60d6310d130d2569104e1832ffad2d72)
@@ -75,5 +75,5 @@
 	 * The strange order of the GPRs is given by the requirement to use the
 	 * istate structure for both regular interrupts and exceptions as well
-	 * as for syscall handler which use this order as an optimization.
+	 * as for syscall handlers which use this order as an optimization.
 	 */
 	uint32_t edx;