Index: kernel/generic/src/adt/btree.c
===================================================================
--- kernel/generic/src/adt/btree.c	(revision 8f9c8087039b1242df4ef45ebfc16815cedfcfba)
+++ kernel/generic/src/adt/btree.c	(revision bdfdc51cf6c5f6efd8f390b380b3a7ea368992af)
@@ -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.
  *
