diff --git a/include/scheduler.h b/include/scheduler.h
index e6cba82abcef17ff5a03fb3639fd81c15a8ea170..b487d28fef080153e99546bed7d521fa5e2baec4 100644
--- a/include/scheduler.h
+++ b/include/scheduler.h
@@ -1,7 +1,7 @@
 #ifndef SCHEDULER_H
 #define SCHEDULER_H
 
-int schedulerInit(); // add the IDLE task with lowest priority and first USER task maybe
+int schedulerInit(KernelStruct* Colonel); 
 
 int pushToScheduler (KernelStruct* Colonel, TD* Task);
 
diff --git a/include/syscall-handler.h b/include/syscall-handler.h
index 4264a0e3ae9ddc420e8bf812054e6bb029512107..8aa8983509fc5b694b309f09dd4e3a3caef4bf17 100644
--- a/include/syscall-handler.h
+++ b/include/syscall-handler.h
@@ -11,7 +11,7 @@ typedef enum syscall {
 
 void handlerCreate (TD* Active);
 
-int syscallHandler (KernelStruct* Colonel, TD* Active);
+int syscallHandler (KernelStruct* Colonel);
 
 #endif