Index: kernel/generic/src/mm/backend_elf.c
===================================================================
--- kernel/generic/src/mm/backend_elf.c	(revision 6b781c0c856d94b3114ccd6375bc6667a19e9bfe)
+++ kernel/generic/src/mm/backend_elf.c	(revision c03ee1c304c982b593d8043411e6b003dd1c155a)
@@ -327,5 +327,5 @@
 				btree_insert(&area->sh_info->pagemap,
 				    (base + j * PAGE_SIZE) - area->base,
-					(void *) PTE_GET_FRAME(pte), NULL);
+				    (void *) PTE_GET_FRAME(pte), NULL);
 				page_table_unlock(area->as, false);
 
Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision 6b781c0c856d94b3114ccd6375bc6667a19e9bfe)
+++ kernel/generic/src/syscall/syscall.c	(revision c03ee1c304c982b593d8043411e6b003dd1c155a)
@@ -93,6 +93,6 @@
 
 /** Dispatch system call */
-unative_t syscall_handler(unative_t a1, unative_t a2, unative_t a3,
-			 unative_t a4, unative_t id)
+unative_t syscall_handler(unative_t a1, unative_t a2, unative_t a3, unative_t a4,
+    unative_t id)
 {
 	unative_t rc;
@@ -101,5 +101,6 @@
 		rc = syscall_table[id](a1, a2, a3, a4);
 	else {
-		klog_printf("TASK %llu: Unknown syscall id %d",TASK->taskid,id);
+		klog_printf("TASK %llu: Unknown syscall id %d", TASK->taskid,
+		    id);
 		task_kill(TASK->taskid);
 		thread_exit();