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