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 0eda6e092bb349f2c4f1d222bbc6b02aaa4c82e1)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32	
+/** @addtogroup ia32
  * @{
  */