Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision 41f7564e975bcef427a9a5bcbb0c12c9001f1a58)
+++ kernel/arch/mips32/src/mips32.c	(revision 5de522dc35c1eb7a9dfb90cd6b1b7a7b8e8d1e03)
@@ -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 @@
 
 
- /** @}
+/** @}
  */
-