Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 095b1534a5463604f2c942a7892e3eb045c02f5b)
+++ kernel/generic/src/console/cmd.c	(revision fd8bf6a4b9321ec5d71b811e7f5e5aa8e6cb7006)
@@ -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)