diff --git a/include/metalsvm/stdlib.h b/include/metalsvm/stdlib.h
index 43a61e75..c8a2e8d1 100644
--- a/include/metalsvm/stdlib.h
+++ b/include/metalsvm/stdlib.h
@@ -91,10 +91,10 @@ void* create_stack(void);
 
 /** @brief Delete stack of a finished task
  *
- * @param Pointer to  
+ * @param addr Pointer to the stack  
  * @return 0 on success
  */
-int destroy_stack(task_t*);
+int destroy_stack(task_t* addr);
 
 /** @brief String to long
  *
diff --git a/include/metalsvm/tasks.h b/include/metalsvm/tasks.h
index d1e70627..d1e2f973 100644
--- a/include/metalsvm/tasks.h
+++ b/include/metalsvm/tasks.h
@@ -100,13 +100,13 @@ static inline int create_kernel_task(tid_t* id, entry_point_t ep, void* arg, uin
  * @param id The value behind this pointer will be set to the new task's id
  * @param fname Filename of the executable to start the task with
  * @param argv Pointer to arguments array
- * @param core_id Start the new task on the core with this id
+ * @param core_id Start the new task on a specific core
  *
  * @return
  * - 0 on success
  * - -EINVAL (-22) or -ENOMEM (-12)on failure
  */
-int create_user_task_on_core(tid_t* id, const char* fame, char** argv, uint32_t core_id);
+int create_user_task_on_core(tid_t* id, const char* fname, char** argv, uint32_t core_id);
 
 /** @brief Create a user level task. 
  *
@@ -118,7 +118,7 @@ int create_user_task_on_core(tid_t* id, const char* fame, char** argv, uint32_t
  * - 0 on success
  * - -EINVAL (-22) or -ENOMEM (-12)on failure
  */
-static inline int create_user_task(tid_t* id, const char* fame, char** argv)
+static inline int create_user_task(tid_t* id, const char* fname, char** argv)
 {
 	uint32_t core_id;
 
@@ -130,7 +130,7 @@ static inline int create_user_task(tid_t* id, const char* fame, char** argv)
 	core_id = 0;
 #endif
 
-	return create_user_task_on_core(id, fame, argv, core_id);
+	return create_user_task_on_core(id, fname, argv, core_id);
 }
 
 /** @brief Block current task until the child task is terminated
@@ -201,7 +201,7 @@ int block_current_task(void);
  */
 int set_timer(uint64_t deadline);
 
-/** @biref check is a timer is expired
+/** @brief check is a timer is expired
  *
  */
 void check_timers(void);