diff -r b71655eca5e2 -r 40efa79d27dd examples/kerneltest/console/console.c
--- a/examples/kerneltest/console/console.c	Tue May 27 17:43:33 2008 +0200
+++ b/examples/kerneltest/console/console.c	Mon Jun 02 08:52:06 2008 +0200
@@ -12,7 +12,7 @@
 	printf("\nCanFestival kernel test example console\n\n");
 
 	printf("start - start example\n");
-	printf("end   - end example\n");
+	printf("stop  - stop example\n");
 	printf("quit  - quit console\n");
 	printf("\n");
 }
@@ -42,7 +42,7 @@
 		if (strcmp(command,"start") == 0)
 			cmd = CMD_START;
 		
-		else if (strcmp(command,"end") == 0)
+		else if (strcmp(command,"stop") == 0)
 			cmd = CMD_STOP;
 		
 		else if (strcmp(command,"quit") == 0)