Index: kernel/generic/src/proc/thread.c
===================================================================
--- kernel/generic/src/proc/thread.c	(revision ca4c5596d25d61385c705f462b32f0bdef2c681b)
+++ kernel/generic/src/proc/thread.c	(revision 55b87a060a6eb783c8445d2390c19584cfbe49bf)
@@ -180,9 +180,9 @@
 	 * covered by the kernel identity mapping, which guarantees not to
 	 * nest TLB-misses infinitely (either via some hardware mechanism or
-	 * by the construciton of the assembly-language part of the TLB-miss
+	 * by the construction of the assembly-language part of the TLB-miss
 	 * handler).
 	 *
 	 * This restriction can be lifted once each architecture provides
-	 * a similar guarantee, for example by locking the kernel stack
+	 * a similar guarantee, for example, by locking the kernel stack
 	 * in the TLB whenever it is allocated from the high-memory and the
 	 * thread is being scheduled to run.