Index: kernel/generic/src/adt/btree.c
===================================================================
--- kernel/generic/src/adt/btree.c	(revision 8f9c8087039b1242df4ef45ebfc16815cedfcfba)
+++ kernel/generic/src/adt/btree.c	(revision 114d0985f3fe419a2b8ff52eec41300416613cfc)
@@ -1047,5 +1047,6 @@
 /** Return number of B-tree elements.
  *
- * @param t    B-tree to count.
+ * @param t B-tree to count.
+ *
  * @return Return number of B-tree elements.
  *
Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision 8f9c8087039b1242df4ef45ebfc16815cedfcfba)
+++ kernel/generic/src/console/kconsole.c	(revision 114d0985f3fe419a2b8ff52eec41300416613cfc)
@@ -166,5 +166,5 @@
 const char *cmdtab_enum(const char *name, const char **h, void **ctx)
 {
-	link_t **startpos = (link_t**)ctx;
+	link_t **startpos = (link_t**) ctx;
 	size_t namelen = str_length(name);
 	
@@ -183,7 +183,7 @@
 		if (str_lcmp(curname, name, namelen) == 0) {
 			*startpos = (*startpos)->next;
-			if (h) {
+			if (h)
 				*h = hlp->description;
-			}
+			
 			spinlock_unlock(&cmd_lock);
 			return (curname + str_lsize(curname, namelen));
@@ -249,5 +249,4 @@
 			
 			if (continue_showing_hints) {
-				
 				if (help)
 					printf("%s%s (%s)\n", name, hint, help);
@@ -292,5 +291,7 @@
 	while (isspace(cmdline[start]))
 		start++;
+	
 	end = start + 1;
+	
 	while (!isspace(cmdline[end]))
 		end++;
@@ -374,7 +375,5 @@
 				for (beg = position - 1;
 				    (beg > 0) && (!isspace(current[beg]));
-				    beg--) {
-					;
-				}
+				    beg--);
 				
 				if (isspace(current[beg]))
@@ -395,7 +394,8 @@
 					sp = false;
 			}
+			
 			if (narg && isspace(current[0]))
 				narg--;
-
+			
 			int found;
 			if (narg == 0) {