5 files changed, 4 insertions, 6 deletions
diff --git a/src/apps/init/main.c b/src/apps/init/main.c
index f7259ff..0defd13 100644
--- a/src/apps/init/main.c
+++ b/src/apps/init/main.c
@@ -1,5 +1,3 @@
-#include <stdbool.h>
-
 #include <string.h>
 
 #include <syscall.h>
diff --git a/src/common/README b/src/common/README
index 7e3e1f7..14d1a2d 100644
--- a/src/common/README
+++ b/src/common/README
@@ -2,7 +2,7 @@ This directory contains the library functions common to userland
 and kernel code, for the three basic libraries of the system :
 
 - libkogata : memory allocation, system functions
-- libc : (partial)implementation of standard libc functions
+- libc : (partial) implementation of standard libc functions
 - libalgo : usefull data structures
 
 It relies on a few functions being exported :
@@ -16,7 +16,7 @@ It relies on a few functions being exported :
 
 These function are supposed to be defined in the code that calls
 the common functions. The headers for these functions are to be
-found in `assert.h` and `malloc.h`.
+found in `debug.h` and `malloc.h`.
 
 In kernel code, these functions are defined somewhere in the kernel.
 In user code, these functions are defined in the user part of libkogata.
diff --git a/src/common/include/syscallid.h b/src/common/include/syscallproto.h
index bfcd37a..bfcd37a 100644
--- a/src/common/include/syscallid.h
+++ b/src/common/include/syscallproto.h
diff --git a/src/kernel/include/syscall.h b/src/kernel/include/syscall.h
index c6c0ed4..045205f 100644
--- a/src/kernel/include/syscall.h
+++ b/src/kernel/include/syscall.h
@@ -1,7 +1,7 @@
 #pragma once
 
 #include <idt.h>
-#include <syscallid.h>
+#include <syscallproto.h>
 
 void setup_syscalls();
 
diff --git a/src/lib/include/syscall.h b/src/lib/include/syscall.h
index 37d7302..44b88cf 100644
--- a/src/lib/include/syscall.h
+++ b/src/lib/include/syscall.h
@@ -4,7 +4,7 @@
 #include <stdint.h>
 #include <stdbool.h>
 
-#include <syscallid.h>
+#include <syscallproto.h>
 
 #include <fs.h>
 #include <debug.h>