Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision b347494dd7465c23537041f25d7b2b225c602a05)
+++ kernel/generic/src/console/cmd.c	(revision cb3d641acfaba056443f5a2ae15d649889c2c7a7)
@@ -941,9 +941,9 @@
 }
 
-/** Command for printing task ipc details
+/** Command for killing a task
  *
  * @param argv Integer argument from cmdline expected
  *
- * return Always 1
+ * return 0 on failure, 1 on success.
  */
 int cmd_kill(cmd_arg_t * argv)