diff --git a/include/microkernel.h b/include/microkernel.h
index 54dabaacddd..3f7a0af325e 100644
--- a/include/microkernel.h
+++ b/include/microkernel.h
@@ -69,7 +69,7 @@ extern void _task_nop(void);
 
 extern int task_offload_to_fiber(int (*)(), void *);
 
-/* The following two typedefs are used in NODEx.c */
+/* The following two typedefs are used in kernel_main.c */
 typedef void (*taskstartfunction)(void);
 typedef void (*taskabortfunction)(void);
 
@@ -122,7 +122,7 @@ extern PFN_CHANNEL_RWT pHS_Channel_GetWT;
 extern PFN_CHANNEL_RWT pKS_Channel_PutWT;
 extern PFN_CHANNEL_RWT pKS_Channel_GetWT;
 
-/* needed by generated NODEx.c */
+/* needed by generated kernel_main.c */
 extern void	timer_driver	(int priority);
 extern void	DefaultHostDriver (void);
 
diff --git a/kernel/microkernel/core/global.c b/kernel/microkernel/core/global.c
index fadb418f0b6..3e4ea858562 100644
--- a/kernel/microkernel/core/global.c
+++ b/kernel/microkernel/core/global.c
@@ -84,7 +84,7 @@ void kernel_init(void)
 
 	/*
 	 * Note: most variables & data structure are globally initialized in
-	 * NODEx.c
+	 * kernel_main.c
 	 */
 	init_node();