Index: kernel/arch/ia32/src/smp/ipi.c
===================================================================
--- kernel/arch/ia32/src/smp/ipi.c	(revision dabdd1aaada964f4510bd352506e4f47c078c88d)
+++ kernel/arch/ia32/src/smp/ipi.c	(revision 836d06899fb87fb89df321440e35f92d647416b1)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32	
+/** @addtogroup ia32
  * @{
  */