diff --git a/kernel/clock.c b/kernel/clock.c
index 58f739f29..311ad51ab 100755
--- a/kernel/clock.c
+++ b/kernel/clock.c
@@ -1,5 +1,5 @@
 
-/* The file contais the clock task, which handles all time related functions.
+/* The file contains the clock task, which handles all time related functions.
  * Important events that are handled by the CLOCK include alarm timers and
  * (re)scheduling user processes. 
  * The CLOCK offers a direct interface to kernel processes. System services 
diff --git a/kernel/proc.c b/kernel/proc.c
index 659bc214f..e54a51215 100755
--- a/kernel/proc.c
+++ b/kernel/proc.c
@@ -228,7 +228,7 @@ unsigned flags;				/* system call flags */
 		 dst_ptr->p_messbuf);
 	if ((dst_ptr->p_rts_flags &= ~RECEIVING) == 0) enqueue(dst_ptr);
   } else if ( ! (flags & NON_BLOCKING)) {
-	/* Destination is not waiting.  Block and queue caller. */
+	/* Destination is not waiting.  Block and dequeue caller. */
 	caller_ptr->p_messbuf = m_ptr;
 	if (caller_ptr->p_rts_flags == 0) dequeue(caller_ptr);
 	caller_ptr->p_rts_flags |= SENDING;