Index: kernel/generic/src/console/prompt.c
===================================================================
--- kernel/generic/src/console/prompt.c	(revision 550af2b9b95db1cff1171a60c5d1b0b41ea88a40)
+++ kernel/generic/src/console/prompt.c	(revision 01b8c2e4ec8fecf9f68a17cee1ffe702d9a9cb59)
@@ -47,4 +47,7 @@
 bool console_prompt_display_all_hints(indev_t *indev, size_t hints)
 {
+	ASSERT(indev);
+	ASSERT(hints > 0);
+
 	printf("Display all %zu possibilities? (y or n)", hints);
 
@@ -74,4 +77,5 @@
 bool console_prompt_more_hints(indev_t *indev, size_t *display_hints)
 {
+	ASSERT(indev);
 	ASSERT(display_hints != NULL);
 
@@ -81,6 +85,6 @@
 		/* Display a full page again? */
 		if (continue_showing_hints == 'y'
-				|| continue_showing_hints == 'Y'
-				|| continue_showing_hints == ' ') {
+		    || continue_showing_hints == 'Y'
+		    || continue_showing_hints == ' ') {
 			*display_hints = MAX_TAB_HINTS - 1;
 			break;
@@ -89,7 +93,7 @@
 		/* Stop displaying hints? */
 		if (continue_showing_hints == 'n'
-				|| continue_showing_hints == 'N'
-				|| continue_showing_hints == 'q'
-				|| continue_showing_hints == 'Q') {
+		    || continue_showing_hints == 'N'
+		    || continue_showing_hints == 'q'
+		    || continue_showing_hints == 'Q') {
 			*display_hints = 0;
 			break;