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