Index: kernel/generic/src/console/prompt.c
===================================================================
--- kernel/generic/src/console/prompt.c	(revision f4a8734aba1f1f8923661a4d49e442f2eeb00e06)
+++ kernel/generic/src/console/prompt.c	(revision 504f1756af7f6b22cf98336d6d392d5b3226a3de)
@@ -43,5 +43,7 @@
  * @param indev Where to read characters from.
  * @param hints Number of hints that would be displayed.
+ *
  * @return Whether to print all hints.
+ *
  */
 bool console_prompt_display_all_hints(indev_t *indev, size_t hints)
@@ -49,17 +51,17 @@
 	ASSERT(indev);
 	ASSERT(hints > 0);
-
-	printf("Display all %zu possibilities? (y or n)", hints);
-
+	
+	printf("Display all %zu possibilities? (y or n) ", hints);
+	
 	while (true) {
 		wchar_t answer = indev_pop_character(indev);
-
-		if (answer == 'y' || answer == 'Y') {
-			printf(" y");
+		
+		if ((answer == 'y') || (answer == 'Y')) {
+			printf("y");
 			return true;
 		}
-
-		if (answer == 'n' || answer == 'N') {
-			printf(" n");
+		
+		if ((answer == 'n') || (answer == 'N')) {
+			printf("n");
 			return false;
 		}
@@ -71,7 +73,9 @@
  * When the function returns false, @p display_hints is set to zero.
  *
- * @param[in] indev Where to read characters from.
+ * @param[in]  indev         Where to read characters from.
  * @param[out] display_hints How many hints to display.
+ *
  * @return Whether to display more hints.
+ *
  */
 bool console_prompt_more_hints(indev_t *indev, size_t *display_hints)
@@ -79,25 +83,25 @@
 	ASSERT(indev);
 	ASSERT(display_hints != NULL);
-
+	
 	printf("--More--");
 	while (true) {
 		wchar_t continue_showing_hints = indev_pop_character(indev);
 		/* Display a full page again? */
-		if (continue_showing_hints == 'y'
-		    || continue_showing_hints == 'Y'
-		    || continue_showing_hints == ' ') {
+		if ((continue_showing_hints == 'y') ||
+		    (continue_showing_hints == 'Y') ||
+		    (continue_showing_hints == ' ')) {
 			*display_hints = MAX_TAB_HINTS - 1;
 			break;
 		}
-
+		
 		/* Stop displaying hints? */
-		if (continue_showing_hints == 'n'
-		    || continue_showing_hints == 'N'
-		    || continue_showing_hints == 'q'
-		    || continue_showing_hints == 'Q') {
+		if ((continue_showing_hints == 'n') ||
+		    (continue_showing_hints == 'N') ||
+		    (continue_showing_hints == 'q') ||
+		    (continue_showing_hints == 'Q')) {
 			*display_hints = 0;
 			break;
 		}
-
+		
 		/* Show one more hint? */
 		if (continue_showing_hints == '\n') {
@@ -106,8 +110,8 @@
 		}
 	}
-
+	
 	/* Delete the --More-- option */
 	printf("\r         \r");
-
+	
 	return *display_hints > 0;
 }