diff --git a/src/api/ipc.c b/src/api/ipc.c
index a2c55c4..91bfa0b 100644
--- a/src/api/ipc.c
+++ b/src/api/ipc.c
@@ -76,7 +76,7 @@ int ipc_extended_copy(struct ktcb *to, struct ktcb *from)
 
 	/*
 	 * Copy from sender's kernel stack buffer
-	 * to receiver's paged-in userspace buffer
+	 * to receiver's kernel stack buffer
 	 */
 	memcpy(to->extended_ipc_buffer,
 	       from->extended_ipc_buffer, size);
diff --git a/src/api/mutex.c b/src/api/mutex.c
index f5bdbdd..3aeede7 100644
--- a/src/api/mutex.c
+++ b/src/api/mutex.c
@@ -222,7 +222,8 @@ int mutex_control_unlock(unsigned long mutex_address)
 
 	/*
 	 * Found it, if it exists, there are waiters,
-	 * now wake all of them up in FIFO order
+	 * now wake all of them up in FIFO order.
+	 * FIXME: Make sure this is FIFO order. It doesn't seem so.
 	 */
 	wake_up(&mutex_queue->wqh_waiters, WAKEUP_ASYNC);