Index: kernel/genarch/src/kbd/ns16550.c
===================================================================
--- kernel/genarch/src/kbd/ns16550.c	(revision ff3b7da7acb81fa6d9a3a13f7c7f96b11b4cb59d)
+++ kernel/genarch/src/kbd/ns16550.c	(revision aa8d0f724e941934ba8a46d05e4ec1c71954987a)
@@ -137,9 +137,9 @@
 #ifdef ia64
     	uint8_t c;
-    	c=ns16550_lcr_read(&ns16550);
-    	ns16550_lcr_write(&ns16550,0x80|c);
-    	ns16550_rbr_write(&ns16550,0x0c);
-    	ns16550_ier_write(&ns16550,0x00);
-    	ns16550_lcr_write(&ns16550,c);
+    	c = ns16550_lcr_read(&ns16550);
+    	ns16550_lcr_write(&ns16550, 0x80 | c);
+    	ns16550_rbr_write(&ns16550, 0x0c);
+    	ns16550_ier_write(&ns16550, 0x00);
+    	ns16550_lcr_write(&ns16550, c);
 #endif
 	
@@ -184,10 +184,10 @@
 		}
 #else
-	extern chardev_t kbrd;
-	if(x!=0x0d)
-	{
-	    if(x==0x7f) x='\b';
-	    chardev_push_character(&kbrd,x);
-	}    
+		extern chardev_t kbrd;
+		if(x != 0x0d) {
+			if(x == 0x7f)
+				x = '\b';
+			 chardev_push_character(&kbrd, x);
+		}    
 #endif		
 
@@ -234,10 +234,10 @@
 		}
 #else
-	extern chardev_t kbrd;
-	if(x!=0x0d)
-	{
-	    if(x==0x7f) x='\b';
-	    chardev_push_character(&kbrd,x);
-	}    
+		extern chardev_t kbrd;
+		if(x != 0x0d) {
+			if (x == 0x7f)
+				x = '\b';
+			chardev_push_character(&kbrd, x);
+		}    
 #endif		
 
Index: kernel/generic/src/proc/thread.c
===================================================================
--- kernel/generic/src/proc/thread.c	(revision ff3b7da7acb81fa6d9a3a13f7c7f96b11b4cb59d)
+++ kernel/generic/src/proc/thread.c	(revision aa8d0f724e941934ba8a46d05e4ec1c71954987a)
@@ -296,4 +296,5 @@
 	if (!t)
 		return NULL;
+	
 	/* Not needed, but good for debugging */
 	memsetb(t->kstack, THREAD_STACK_SIZE * 1 << STACK_FRAMES, 0);