diff --git a/src/kernel/core/fs/node_monitor.c b/src/kernel/core/fs/node_monitor.c
index 2ba0d390fd..d916539d40 100644
--- a/src/kernel/core/fs/node_monitor.c
+++ b/src/kernel/core/fs/node_monitor.c
@@ -12,7 +12,7 @@
 #include <fd.h>
 #include <lock.h>
 #include <khash.h>
-#include <list.h>
+#include <util/list.h>
 
 #include <malloc.h>
 #include <stddef.h>
diff --git a/src/kernel/core/kernel_daemon.c b/src/kernel/core/kernel_daemon.c
index 7873b86f59..b38848c6ec 100644
--- a/src/kernel/core/kernel_daemon.c
+++ b/src/kernel/core/kernel_daemon.c
@@ -9,7 +9,7 @@
 
 #include <kernel_daemon.h>
 #include <lock.h>
-#include <list.h>
+#include <util/list.h>
 
 
 // ToDo: the use of snooze() in the kernel_daemon() function is very inaccurate, of
diff --git a/src/kernel/core/util/list.c b/src/kernel/core/util/list.c
index 9c13093fef..0f7e38b086 100644
--- a/src/kernel/core/util/list.c
+++ b/src/kernel/core/util/list.c
@@ -4,7 +4,7 @@
 */
 
 
-#include <list.h>
+#include <util/list.h>
 
 
 #define GET_ITEM(list, item) ((void *)((uint8 *)item - list->offset))