Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision f476e76f55d2a90975277593ea1bcc21fb6d523c)
+++ kernel/arch/mips32/src/mips32.c	(revision d227101926028711e095e37ad2b5e2f5f3d340a9)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32
+/** @addtogroup mips32
  * @{
  */
@@ -55,5 +55,5 @@
 #include <arch/debugger.h>
 #include <genarch/fb/fb.h>
-#include <debug.h>
+#include <macros.h>
 
 #include <arch/asm/regname.h>
@@ -181,5 +181,4 @@
 
 
- /** @}
+/** @}
  */
-