Index: kernel/generic/include/udebug/udebug_ipc.h
===================================================================
--- kernel/generic/include/udebug/udebug_ipc.h	(revision 3698e4420e4bdd79a3251c212fbc1886ecf45436)
+++ kernel/generic/include/udebug/udebug_ipc.h	(revision bbfdf62eecb75fb74d785cdd587affc613b7ffe9)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup generic	
+/** @addtogroup generic
  * @{
  */
@@ -41,5 +41,4 @@
 void udebug_call_receive(call_t *call);
 
-
 #endif
 
Index: kernel/generic/include/udebug/udebug_ops.h
===================================================================
--- kernel/generic/include/udebug/udebug_ops.h	(revision 3698e4420e4bdd79a3251c212fbc1886ecf45436)
+++ kernel/generic/include/udebug/udebug_ops.h	(revision bbfdf62eecb75fb74d785cdd587affc613b7ffe9)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup generic	
+/** @addtogroup generic
  * @{
  */