Index: kernel/test/avltree/avltree1.c
===================================================================
--- kernel/test/avltree/avltree1.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/test/avltree/avltree1.c	(revision 2f1c88e88f3d33245f94ca59d2b772d4dd5d1f56)
@@ -50,5 +50,5 @@
 static avltree_node_t *test_tree_parents(avltree_node_t *node);
 static void print_tree_structure_flat (avltree_node_t *node, int level)
-    __attribute__ ((used));
+    __attribute__((used));
 static avltree_node_t *alloc_avltree_node(void);
 
@@ -72,5 +72,5 @@
 			TPRINTF("Bad parent pointer key: %" PRIu64
 			    ", address: %p\n",
-			    tmp->key,node->rgt);
+			    tmp->key, node->rgt);
 		}
 	}