Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/mips32/src/mips32.c	(revision 4965a84656b633f118cbd1342b876ad4c815691b)
@@ -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 @@
 
 
- /** @}
+/** @}
  */
-